Defines data structures used for verification of UFS candidates. More...
Public Member Functions | |
| UnfoundedSetVerificationStatus (const AnnotatedGroundProgram &agp, InterpretationConstPtr domain, InterpretationConstPtr ufsCandidate, InterpretationConstPtr compatibleSet, InterpretationConstPtr compatibleSetWithoutAux) | |
| Prepares data structures used for verification of an unfounded set candidate wrt. | |
Data Fields | |
| InterpretationPtr | eaInput |
| Input used for external atom evaluation. | |
| std::vector< IDAddress > | auxiliariesToVerify |
| The auxiliaries which's new truth value needs to be checked. | |
| std::vector< std::set< ID > > | auxIndexToRemainingExternalAtoms |
| Stores for each auxiliary A with index i (see above) the external atoms auxiliaryDependsOnEA[i] which are remain to be evaluated before the truth/falsity of A is certain. | |
| std::vector< std::vector< int > > | externalAtomAddressToAuxIndices |
| Stores for each external atom with address adr the indices eaToAuxIndex[adr] in the vector auxiliaryDependsOnEA which depend on this external atom. | |
Detailed Description
Defines data structures used for verification of UFS candidates.
Definition at line 122 of file UnfoundedSetChecker.h.
Constructor & Destructor Documentation
| UnfoundedSetChecker::UnfoundedSetVerificationStatus::UnfoundedSetVerificationStatus | ( | const AnnotatedGroundProgram & | agp, |
| InterpretationConstPtr | domain, | ||
| InterpretationConstPtr | ufsCandidate, | ||
| InterpretationConstPtr | compatibleSet, | ||
| InterpretationConstPtr | compatibleSetWithoutAux | ||
| ) |
Prepares data structures used for verification of an unfounded set candidate wrt.
a compatible set.
- Parameters:
-
agp The program over which the UFS check is done. domain Domain of this unfounded set check. ufsCandidate Representation of the UFS candidate. compatibleSet Compatible set.
Definition at line 193 of file UnfoundedSetChecker.cpp.
References ID::address, auxiliariesToVerify, auxIndexToRemainingExternalAtoms, DBGLOG, eaInput, externalAtomAddressToAuxIndices, and AnnotatedGroundProgram::getAuxToEA().
Field Documentation
The auxiliaries which's new truth value needs to be checked.
For each auxiliary A with address adr there is a unique index i such that auxiliariesToVerify[i]=adr.
Definition at line 132 of file UnfoundedSetChecker.h.
Referenced by UnfoundedSetChecker::isUnfoundedSet(), UnfoundedSetVerificationStatus(), and UnfoundedSetChecker::verifyExternalAtomByEvaluation().
| std::vector<std::set<ID> > UnfoundedSetChecker::UnfoundedSetVerificationStatus::auxIndexToRemainingExternalAtoms |
Stores for each auxiliary A with index i (see above) the external atoms auxiliaryDependsOnEA[i] which are remain to be evaluated before the truth/falsity of A is certain.
Note: since it needs to store the external atoms which *remain to be verified*, we cannot use the features of AnnotatedGroundProgram).
Definition at line 139 of file UnfoundedSetChecker.h.
Referenced by UnfoundedSetVerificationStatus(), and UnfoundedSetChecker::verifyExternalAtomByEvaluation().
Input used for external atom evaluation.
Definition at line 125 of file UnfoundedSetChecker.h.
Referenced by UnfoundedSetVerificationStatus(), and UnfoundedSetChecker::verifyExternalAtomByEvaluation().
| std::vector<std::vector<int> > UnfoundedSetChecker::UnfoundedSetVerificationStatus::externalAtomAddressToAuxIndices |
Stores for each external atom with address adr the indices eaToAuxIndex[adr] in the vector auxiliaryDependsOnEA which depend on this external atom.
Note: since we need only certain auxiliaries, we cannot use the features of AnnotatedGroundProgram).
Definition at line 146 of file UnfoundedSetChecker.h.
Referenced by UnfoundedSetChecker::isUnfoundedSet(), UnfoundedSetVerificationStatus(), and UnfoundedSetChecker::verifyExternalAtomByEvaluation().
The documentation for this struct was generated from the following files:
- include/dlvhex2/UnfoundedSetChecker.h
- src/UnfoundedSetChecker.cpp
