Factory for the GenuinePlainModelGenerator. More...
#include <include/dlvhex2/GenuinePlainModelGenerator.h>
Public Types | |
| typedef ComponentGraph::ComponentInfo | ComponentInfo |
Public Member Functions | |
| GenuinePlainModelGeneratorFactory (ProgramCtx &ctx, const ComponentInfo &ci, ASPSolverManager::SoftwareConfigurationPtr externalEvalConfig) | |
| Constructor. | |
| virtual | ~GenuinePlainModelGeneratorFactory () |
| Destructor. | |
| virtual ModelGeneratorPtr | createModelGenerator (InterpretationConstPtr input) |
| Instantiates a model generator for the current component. | |
| virtual std::ostream & | print (std::ostream &o) const |
| Prints information about the model generator for debugging purposes. | |
Protected Attributes | |
| ASPSolverManager::SoftwareConfigurationPtr | externalEvalConfig |
| Defines the solver to be used for external evaluation. | |
| ProgramCtx & | ctx |
| ProgramCtx. | |
| ComponentInfo | ci |
| ComponentInfo of the component to be solved by the model generators instantiated by this factory. | |
| std::vector< ID > | eatoms |
| All external atoms of the component. | |
| std::vector< ID > | idb |
| Original IDB containing eatoms where all inputs are known. | |
| std::vector< ID > | xidb |
| Rewritten IDB (containing replacements for eatoms). | |
Friends | |
| class | GenuinePlainModelGenerator |
Detailed Description
Factory for the GenuinePlainModelGenerator.
Definition at line 99 of file GenuinePlainModelGenerator.h.
Member Typedef Documentation
Definition at line 106 of file GenuinePlainModelGenerator.h.
Constructor & Destructor Documentation
| DLVHEX_NAMESPACE_BEGIN GenuinePlainModelGeneratorFactory::GenuinePlainModelGeneratorFactory | ( | ProgramCtx & | ctx, |
| const ComponentInfo & | ci, | ||
| ASPSolverManager::SoftwareConfigurationPtr | externalEvalConfig | ||
| ) |
Constructor.
- Parameters:
-
ctx See GenuineGuessAndCheckModelGeneratorFactory::ctx. ci See GenuineGuessAndCheckModelGeneratorFactory::ci. externalEvalConfig See GenuineGuessAndCheckModelGeneratorFactory::externalEvalConfig.
Definition at line 53 of file GenuinePlainModelGenerator.cpp.
References BaseModelGeneratorFactory::convertRule(), DBGLOG, idb, ComponentGraph::ComponentInfo::innerConstraints, ComponentGraph::ComponentInfo::innerEatoms, ComponentGraph::ComponentInfo::innerRules, Printer::printmany(), ProgramCtx::registry(), and xidb.
| virtual GenuinePlainModelGeneratorFactory::~GenuinePlainModelGeneratorFactory | ( | ) | [inline, virtual] |
Destructor.
Definition at line 141 of file GenuinePlainModelGenerator.h.
Member Function Documentation
| virtual ModelGeneratorPtr GenuinePlainModelGeneratorFactory::createModelGenerator | ( | InterpretationConstPtr | input | ) | [inline, virtual] |
Instantiates a model generator for the current component.
- Parameters:
-
input Input interpretation to this model generator.
- Returns:
- Model generator.
Implements ModelGeneratorFactoryBase< Interpretation >.
Definition at line 148 of file GenuinePlainModelGenerator.h.
References GenuinePlainModelGenerator.
| std::ostream & GenuinePlainModelGeneratorFactory::print | ( | std::ostream & | o | ) | const [virtual] |
Prints information about the model generator for debugging purposes.
- Parameters:
-
o Stream to print to.
Reimplemented from ModelGeneratorFactoryBase< Interpretation >.
Definition at line 112 of file GenuinePlainModelGenerator.cpp.
References ctx, eatoms, Printer::printmany(), ProgramCtx::registry(), and xidb.
Friends And Related Function Documentation
friend class GenuinePlainModelGenerator [friend] |
Definition at line 105 of file GenuinePlainModelGenerator.h.
Referenced by createModelGenerator().
Field Documentation
ComponentInfo GenuinePlainModelGeneratorFactory::ci [protected] |
ComponentInfo of the component to be solved by the model generators instantiated by this factory.
Definition at line 115 of file GenuinePlainModelGenerator.h.
ProgramCtx& GenuinePlainModelGeneratorFactory::ctx [protected] |
Definition at line 113 of file GenuinePlainModelGenerator.h.
Referenced by GenuinePlainModelGenerator::generateNextModel(), GenuinePlainModelGenerator::GenuinePlainModelGenerator(), and print().
std::vector<ID> GenuinePlainModelGeneratorFactory::eatoms [protected] |
All external atoms of the component.
Definition at line 118 of file GenuinePlainModelGenerator.h.
Referenced by GenuinePlainModelGenerator::GenuinePlainModelGenerator(), and print().
ASPSolverManager::SoftwareConfigurationPtr GenuinePlainModelGeneratorFactory::externalEvalConfig [protected] |
Defines the solver to be used for external evaluation.
Definition at line 111 of file GenuinePlainModelGenerator.h.
std::vector<ID> GenuinePlainModelGeneratorFactory::idb [protected] |
Original IDB containing eatoms where all inputs are known.
Auxiliary input rules of these eatoms must be in predecessor unit!
Definition at line 123 of file GenuinePlainModelGenerator.h.
Referenced by GenuinePlainModelGeneratorFactory().
std::vector<ID> GenuinePlainModelGeneratorFactory::xidb [protected] |
Rewritten IDB (containing replacements for eatoms).
x stands for transformed.
Definition at line 127 of file GenuinePlainModelGenerator.h.
Referenced by GenuinePlainModelGenerator::GenuinePlainModelGenerator(), GenuinePlainModelGeneratorFactory(), and print().
The documentation for this class was generated from the following files:
- include/dlvhex2/GenuinePlainModelGenerator.h
- src/GenuinePlainModelGenerator.cpp
