include/dlvhex2/ModelGenerator.h File Reference
Base classes for model generators. More...
#include "dlvhex2/PlatformDefinitions.h"#include "dlvhex2/Logger.h"#include "dlvhex2/Printhelpers.h"#include <boost/shared_ptr.hpp>#include <boost/concept/assert.hpp>#include <boost/concept_check.hpp>#include <ostream>
Include dependency graph for ModelGenerator.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | InterpretationBase |
| Base class for interpretations. More... | |
| class | ModelGeneratorBase< InterpretationT > |
| Base class for model generators. More... | |
| class | ModelGeneratorFactoryBase< InterpretationT > |
| Instantiates a ModelGenerator. More... | |
| struct | EvalUnitModelGeneratorFactoryProperties< InterpretationT > |
| Model generator factory properties for eval units such properties are required by model builders. More... | |
Detailed Description
Base classes for model generators.
A model generator generates models for one evaluation unit, as opposed to model builders which generate models for evaluation graphs.
Definition in file ModelGenerator.h.
