include/dlvhex2/BaseModelGenerator.h File Reference
Base class for model generator factories and model generators. More...
#include "dlvhex2/PlatformDefinitions.h"#include "dlvhex2/fwd.h"#include "dlvhex2/ModelGenerator.h"#include "dlvhex2/Interpretation.h"#include "dlvhex2/ASPSolverManager.h"#include "dlvhex2/Atoms.h"#include "dlvhex2/ID.h"#include "dlvhex2/Registry.h"#include "dlvhex2/Nogood.h"#include "dlvhex2/GenuineSolver.h"#include "dlvhex2/ComponentGraph.h"#include <list>#include "dlvhex2/CDNLSolver.h"
Include dependency graph for BaseModelGenerator.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | BaseModelGeneratorFactory |
| A model generator factory provides model generators for a certain types of interpretations. More... | |
| class | BaseModelGenerator |
| Base class for all model generators. More... | |
| struct | BaseModelGenerator::ExternalAnswerTupleCallback |
| Base class for callback functions for handling external atom answer tuples. More... | |
| struct | BaseModelGenerator::ExternalAnswerTupleMultiCallback |
| Callback function object for handling external atom answer tuples by multiple callbacks. More... | |
| struct | BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB |
| Callback for checking whether external computations reflect guesses of external atom truth values. More... | |
| struct | BaseModelGenerator::VerifyExternalAtomCB |
| Verifies positive and negative replacement atoms against an external atom. More... | |
| struct | BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB |
| For usual model building where we want to collect all true answers as replacement atoms in an interpretation. More... | |
Detailed Description
Base class for model generator factories and model generators.
Definition in file BaseModelGenerator.h.
