OrdinaryASPProgram Struct Reference

This is kind of a program context for pure (=non-HEX) ASPs. More...

#include <include/dlvhex2/OrdinaryASPProgram.h>

Collaboration diagram for OrdinaryASPProgram:

Public Member Functions
	OrdinaryASPProgram (RegistryPtr registry)
	Constructor.
	OrdinaryASPProgram (RegistryPtr registry, const std::vector< ID > &idb, Interpretation::ConstPtr edb, uint32_t maxint=0, Interpretation::ConstPtr mask=Interpretation::ConstPtr())
	Constructor.
Data Fields
RegistryPtr	registry
	Registry to be used for interpreting IDs.
std::vector< ID >	idb
	Rules of the ordinary ASP program (must not contain external atoms).
Interpretation::ConstPtr	edb
	Facts of the ordinary ASP program.
uint32_t	maxint
	Maximum integer used for evaluating the ordinary ASP program.
Interpretation::ConstPtr	mask
	Set of atoms to be removed from the answer sets.

---

Detailed Description

This is kind of a program context for pure (=non-HEX) ASPs.

Definition at line 58 of file OrdinaryASPProgram.h.

---

Constructor & Destructor Documentation

OrdinaryASPProgram::OrdinaryASPProgram

(

RegistryPtr

registry

)

[inline]

Constructor.

Parameters:

registry

Registry to be used for interpreting IDs.

Definition at line 75 of file OrdinaryASPProgram.h.

OrdinaryASPProgram::OrdinaryASPProgram	(	RegistryPtr	registry,
		const std::vector< ID > &	idb,
		Interpretation::ConstPtr	edb,
		uint32_t	maxint = 0,
		Interpretation::ConstPtr	mask = Interpretation::ConstPtr()
	)		[inline]

Constructor.

Parameters:

registry	Registry to be used for interpreting IDs.
idb	Rules of the ordinary ASP program (must not contain external atoms).
edb	Facts of the ordinary ASP program.
maxint	Maximum integer used for evaluating the ordinary ASP program.
mask	Set of atoms to be removed from the answer sets.

Definition at line 85 of file OrdinaryASPProgram.h.

---

Field Documentation

Interpretation::ConstPtr OrdinaryASPProgram::edb

Facts of the ordinary ASP program.

Definition at line 65 of file OrdinaryASPProgram.h.

Referenced by AnnotatedGroundProgram::addProgram(), AssumptionBasedUnfoundedSetChecker::AssumptionBasedUnfoundedSetChecker(), AnnotatedGroundProgram::computeAdditionalDependencies(), AnnotatedGroundProgram::computeAtomDependencyGraph(), InternalGrounder::computeDepGraph(), InternalGrounder::computeGloballyNewAtom(), AnnotatedGroundProgram::computeStronglyConnectedComponents(), AssumptionBasedUnfoundedSetChecker::constructDomain(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemFacts(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), AnnotatedGroundProgram::createProgramMask(), InternalGroundASPSolver::createSingularLoopNogoods(), InternalGrounder::getNongroundProgramString(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), InternalGrounder::groundStratum(), AnnotatedGroundProgram::initialize(), GenuineGuessAndCheckModelGenerator::initializeExplanationAtoms(), InternalGroundASPSolver::initializeLists(), InternalGroundASPSolver::initSourcePointers(), GenuineGuessAndCheckModelGenerator::inlineExternalAtoms(), and InternalGroundASPSolver::setEDB().

std::vector<ID> OrdinaryASPProgram::idb

Rules of the ordinary ASP program (must not contain external atoms).

Definition at line 63 of file OrdinaryASPProgram.h.

Referenced by AnnotatedGroundProgram::addProgram(), AssumptionBasedUnfoundedSetChecker::AssumptionBasedUnfoundedSetChecker(), AnnotatedGroundProgram::computeAtomDependencyGraph(), UnfoundedSetCheckerManager::computeChoiceRuleCompatibilityForComponent(), InternalGroundASPSolver::computeClarkCompletion(), InternalGrounder::computeDepGraph(), InternalGroundASPSolver::computeDepGraph(), InternalGrounder::computeGloballyNewAtom(), InternalGrounder::computeStrata(), AnnotatedGroundProgram::computeStronglyConnectedComponents(), AssumptionBasedUnfoundedSetChecker::constructDomain(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemAndInstantiateSolver(), AnnotatedGroundProgram::createEAMasks(), AnnotatedGroundProgram::createProgramMask(), InternalGroundASPSolver::createShiftedProgram(), InternalGroundASPSolver::createSingularLoopNogoods(), AssumptionBasedUnfoundedSetChecker::expandUFSDetectionProblemAndReinstantiateSolver(), GenuineGuessAndCheckModelGenerator::GenuineGuessAndCheckModelGenerator(), GenuinePlainModelGenerator::GenuinePlainModelGenerator(), FLPModelGeneratorBase::getFLPNogood(), InternalGrounder::getNongroundProgramString(), UnfoundedSetChecker::getUFSNogoodReductBased(), UnfoundedSetChecker::getUFSNogoodUFSBased(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), AssumptionBasedUnfoundedSetChecker::getUnfoundedSet(), GuessAndCheckModelGenerator::GuessAndCheckModelGenerator(), AnnotatedGroundProgram::initialize(), InternalGroundASPSolver::initializeLists(), GenuineGuessAndCheckModelGenerator::inlineExternalAtoms(), ExternalLearningHelper::learnFromRule(), UnfoundedSetChecker::UnfoundedSetChecker(), UnfoundedSetCheckHeuristics::UnfoundedSetCheckHeuristics(), and UnfoundedSetCheckHeuristics::updateSkipProgram().

Interpretation::ConstPtr OrdinaryASPProgram::mask

Set of atoms to be removed from the answer sets.

Definition at line 69 of file OrdinaryASPProgram.h.

Referenced by AnnotatedGroundProgram::addProgram(), GenuineGuessAndCheckModelGenerator::GenuineGuessAndCheckModelGenerator(), GenuineGuessAndCheckModelGenerator::inlineExternalAtoms(), InternalGrounder::InternalGrounder(), and InternalGroundASPSolver::outputProjection().

uint32_t OrdinaryASPProgram::maxint

Maximum integer used for evaluating the ordinary ASP program.

Definition at line 67 of file OrdinaryASPProgram.h.

Referenced by AnnotatedGroundProgram::addProgram(), and InternalGrounder::InternalGrounder().

RegistryPtr OrdinaryASPProgram::registry

Registry to be used for interpreting IDs.

Definition at line 61 of file OrdinaryASPProgram.h.

Referenced by AnnotatedGroundProgram::addProgram().

---

The documentation for this struct was generated from the following file:

• include/dlvhex2/OrdinaryASPProgram.h