Factory for the GenuineWellfoundedModelGenerator. More...
#include <include/dlvhex2/GenuineWellfoundedModelGenerator.h>
Public Types | |
| typedef ComponentGraph::ComponentInfo | ComponentInfo |
Public Member Functions | |
| GenuineWellfoundedModelGeneratorFactory (ProgramCtx &ctx, const ComponentInfo &ci, ASPSolverManager::SoftwareConfigurationPtr externalEvalConfig) | |
| Constructor. | |
| virtual | ~GenuineWellfoundedModelGeneratorFactory () |
| 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 > | outerEatoms |
| Outer external atoms of the component. | |
| std::vector< ID > | innerEatoms |
| Inner 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). | |
| std::vector< ID > | deidbInnerEatoms |
| Inner external atoms in deidb. | |
| std::vector< ID > | deidb |
| IDB for domain exploration (cf. | |
Friends | |
| class | GenuineWellfoundedModelGenerator |
Detailed Description
Factory for the GenuineWellfoundedModelGenerator.
Definition at line 85 of file GenuineWellfoundedModelGenerator.h.
Member Typedef Documentation
Definition at line 92 of file GenuineWellfoundedModelGenerator.h.
Constructor & Destructor Documentation
| DLVHEX_NAMESPACE_BEGIN GenuineWellfoundedModelGeneratorFactory::GenuineWellfoundedModelGeneratorFactory | ( | 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 50 of file GenuineWellfoundedModelGenerator.cpp.
References BaseModelGeneratorFactory::addDomainPredicatesAndCreateDomainExplorationProgram(), ProgramCtx::config, BaseModelGeneratorFactory::convertRule(), DBGLOG, deidb, deidbInnerEatoms, Configuration::getOption(), idb, ComponentGraph::ComponentInfo::innerConstraints, ComponentGraph::ComponentInfo::innerRules, outerEatoms, ProgramCtx::registry(), and xidb.
| virtual GenuineWellfoundedModelGeneratorFactory::~GenuineWellfoundedModelGeneratorFactory | ( | ) | [inline, virtual] |
Destructor.
Definition at line 135 of file GenuineWellfoundedModelGenerator.h.
Member Function Documentation
| virtual ModelGeneratorPtr GenuineWellfoundedModelGeneratorFactory::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 142 of file GenuineWellfoundedModelGenerator.h.
References GenuineWellfoundedModelGenerator.
| std::ostream & GenuineWellfoundedModelGeneratorFactory::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 97 of file GenuineWellfoundedModelGenerator.cpp.
References ctx, idb, innerEatoms, outerEatoms, Printer::printmany(), ProgramCtx::registry(), and xidb.
Friends And Related Function Documentation
friend class GenuineWellfoundedModelGenerator [friend] |
Definition at line 91 of file GenuineWellfoundedModelGenerator.h.
Referenced by createModelGenerator().
Field Documentation
ComponentInfo of the component to be solved by the model generators instantiated by this factory.
Definition at line 101 of file GenuineWellfoundedModelGenerator.h.
Referenced by GenuineWellfoundedModelGenerator::generateNextModel().
ProgramCtx& GenuineWellfoundedModelGeneratorFactory::ctx [protected] |
Definition at line 99 of file GenuineWellfoundedModelGenerator.h.
Referenced by GenuineWellfoundedModelGenerator::generateNextModel(), and print().
std::vector<ID> GenuineWellfoundedModelGeneratorFactory::deidb [protected] |
IDB for domain exploration (cf.
liberal safety).
Equivalent to xidb, except that it does not contain domain predicates).
Definition at line 121 of file GenuineWellfoundedModelGenerator.h.
Referenced by GenuineWellfoundedModelGenerator::generateNextModel(), and GenuineWellfoundedModelGeneratorFactory().
std::vector<ID> GenuineWellfoundedModelGeneratorFactory::deidbInnerEatoms [protected] |
Inner external atoms in deidb.
Definition at line 117 of file GenuineWellfoundedModelGenerator.h.
Referenced by GenuineWellfoundedModelGenerator::generateNextModel(), and GenuineWellfoundedModelGeneratorFactory().
ASPSolverManager::SoftwareConfigurationPtr GenuineWellfoundedModelGeneratorFactory::externalEvalConfig [protected] |
Defines the solver to be used for external evaluation.
Definition at line 97 of file GenuineWellfoundedModelGenerator.h.
std::vector<ID> GenuineWellfoundedModelGeneratorFactory::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 110 of file GenuineWellfoundedModelGenerator.h.
Referenced by GenuineWellfoundedModelGeneratorFactory(), and print().
std::vector<ID> GenuineWellfoundedModelGeneratorFactory::innerEatoms [protected] |
Inner external atoms of the component.
Definition at line 106 of file GenuineWellfoundedModelGenerator.h.
Referenced by GenuineWellfoundedModelGenerator::generateNextModel(), and print().
std::vector<ID> GenuineWellfoundedModelGeneratorFactory::outerEatoms [protected] |
Outer external atoms of the component.
Definition at line 104 of file GenuineWellfoundedModelGenerator.h.
Referenced by GenuineWellfoundedModelGenerator::generateNextModel(), GenuineWellfoundedModelGeneratorFactory(), and print().
std::vector<ID> GenuineWellfoundedModelGeneratorFactory::xidb [protected] |
Rewritten IDB (containing replacements for eatoms).
x stands for transformed.
Definition at line 114 of file GenuineWellfoundedModelGenerator.h.
Referenced by GenuineWellfoundedModelGenerator::generateNextModel(), GenuineWellfoundedModelGeneratorFactory(), and print().
The documentation for this class was generated from the following files:
- include/dlvhex2/GenuineWellfoundedModelGenerator.h
- src/GenuineWellfoundedModelGenerator.cpp
