Factory for the WellfoundedModelGenerator. More...
#include <include/dlvhex2/WellfoundedModelGenerator.h>
Public Types | |
| typedef ComponentGraph::ComponentInfo | ComponentInfo |
Public Member Functions | |
| WellfoundedModelGeneratorFactory (ProgramCtx &ctx, const ComponentInfo &ci, ASPSolverManager::SoftwareConfigurationPtr externalEvalConfig) | |
| Constructor. | |
| virtual | ~WellfoundedModelGeneratorFactory () |
| 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. | |
| std::vector< ID > | outerEatoms |
| Outer eatoms of the component. | |
| std::vector< ID > | innerEatoms |
| Inner eatoms 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 | WellfoundedModelGenerator |
Detailed Description
Factory for the WellfoundedModelGenerator.
Definition at line 86 of file WellfoundedModelGenerator.h.
Member Typedef Documentation
Definition at line 93 of file WellfoundedModelGenerator.h.
Constructor & Destructor Documentation
| DLVHEX_NAMESPACE_BEGIN WellfoundedModelGeneratorFactory::WellfoundedModelGeneratorFactory | ( | 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 WellfoundedModelGenerator.cpp.
References BaseModelGeneratorFactory::convertRule(), DBGLOG, idb, ComponentGraph::ComponentInfo::innerConstraints, ComponentGraph::ComponentInfo::innerRules, ProgramCtx::registry(), and xidb.
| virtual WellfoundedModelGeneratorFactory::~WellfoundedModelGeneratorFactory | ( | ) | [inline, virtual] |
Destructor.
Definition at line 127 of file WellfoundedModelGenerator.h.
Member Function Documentation
| virtual ModelGeneratorPtr WellfoundedModelGeneratorFactory::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 134 of file WellfoundedModelGenerator.h.
References WellfoundedModelGenerator.
| std::ostream & WellfoundedModelGeneratorFactory::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 95 of file WellfoundedModelGenerator.cpp.
References ctx, idb, innerEatoms, outerEatoms, Printer::printmany(), ProgramCtx::registry(), and xidb.
Friends And Related Function Documentation
friend class WellfoundedModelGenerator [friend] |
Definition at line 92 of file WellfoundedModelGenerator.h.
Referenced by createModelGenerator().
Field Documentation
ProgramCtx& WellfoundedModelGeneratorFactory::ctx [protected] |
Definition at line 100 of file WellfoundedModelGenerator.h.
Referenced by WellfoundedModelGenerator::generateNextModel(), and print().
ASPSolverManager::SoftwareConfigurationPtr WellfoundedModelGeneratorFactory::externalEvalConfig [protected] |
Defines the solver to be used for external evaluation.
Definition at line 98 of file WellfoundedModelGenerator.h.
Referenced by WellfoundedModelGenerator::generateNextModel().
std::vector<ID> WellfoundedModelGeneratorFactory::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 109 of file WellfoundedModelGenerator.h.
Referenced by print(), and WellfoundedModelGeneratorFactory().
std::vector<ID> WellfoundedModelGeneratorFactory::innerEatoms [protected] |
Inner eatoms of the component.
Definition at line 104 of file WellfoundedModelGenerator.h.
Referenced by WellfoundedModelGenerator::generateNextModel(), and print().
std::vector<ID> WellfoundedModelGeneratorFactory::outerEatoms [protected] |
Outer eatoms of the component.
Definition at line 102 of file WellfoundedModelGenerator.h.
Referenced by WellfoundedModelGenerator::generateNextModel(), and print().
std::vector<ID> WellfoundedModelGeneratorFactory::xidb [protected] |
Rewritten IDB (containing replacements for eatoms).
x stands for transformed.
Definition at line 113 of file WellfoundedModelGenerator.h.
Referenced by WellfoundedModelGenerator::generateNextModel(), print(), and WellfoundedModelGeneratorFactory().
The documentation for this class was generated from the following files:
- include/dlvhex2/WellfoundedModelGenerator.h
- src/WellfoundedModelGenerator.cpp
