Contains implementers of UnfoundedSetCheckHeuristics to decide for a given (partial) assignment if a minimality check shall be performed at this point. More...
#include <include/dlvhex2/UnfoundedSetCheckHeuristics.h>
Public Member Functions | |
| UnfoundedSetCheckHeuristicsPost (const AnnotatedGroundProgram &groundProgram, RegistryPtr reg) | |
| virtual bool | doUFSCheck (InterpretationConstPtr verifiedAuxes, InterpretationConstPtr partialAssignment, InterpretationConstPtr assigned, InterpretationConstPtr changed) |
| Decides if the reasoner shall do an unfounded set check at this point. | |
Detailed Description
Contains implementers of UnfoundedSetCheckHeuristics to decide for a given (partial) assignment if a minimality check shall be performed at this point.
Note that this is only for optimization purposes as the reasoner will automatically do such a check whenever it is necessary. However, heuristics may initiate additional checks to possibly detect unfounded atoms earlier. Performs UFS checks only over complete interpretations.
Definition at line 62 of file UnfoundedSetCheckHeuristics.h.
Constructor & Destructor Documentation
| DLVHEX_NAMESPACE_BEGIN UnfoundedSetCheckHeuristicsPost::UnfoundedSetCheckHeuristicsPost | ( | const AnnotatedGroundProgram & | groundProgram, |
| RegistryPtr | reg | ||
| ) |
Definition at line 45 of file UnfoundedSetCheckHeuristics.cpp.
Member Function Documentation
| bool UnfoundedSetCheckHeuristicsPost::doUFSCheck | ( | InterpretationConstPtr | verifiedAuxes, |
| InterpretationConstPtr | partialAssignment, | ||
| InterpretationConstPtr | assigned, | ||
| InterpretationConstPtr | changed | ||
| ) | [virtual] |
Decides if the reasoner shall do an unfounded set check at this point.
- Parameters:
-
verifiedAuxes The set of verified external atom auxiliaries wrt. the current partial interpretation partialAssignment The current (partial) interpretation assigned The current set of assigned atoms; if NULL, then the interpretation is complete changed The set of atoms with a (possibly) modified truth value since the last call of this method; if NULL, then all atoms have changed
- Returns:
- True if the heuristics decides to do an unfounded set check now, and false otherwise.
Implements UnfoundedSetCheckHeuristics.
Definition at line 50 of file UnfoundedSetCheckHeuristics.cpp.
The documentation for this class was generated from the following files:
- include/dlvhex2/UnfoundedSetCheckHeuristics.h
- src/UnfoundedSetCheckHeuristics.cpp
