#include <include/dlvhex2/GuessAndCheckModelGenerator.h>
Public Types | |
| typedef ComponentGraph::ComponentInfo | ComponentInfo |
Public Member Functions | |
| GuessAndCheckModelGeneratorFactory (ProgramCtx &ctx, const ComponentInfo &ci, ASPSolverManager::SoftwareConfigurationPtr externalEvalConfig) | |
| virtual | ~GuessAndCheckModelGeneratorFactory () |
| virtual ModelGeneratorPtr | createModelGenerator (InterpretationConstPtr input) |
| virtual std::ostream & | print (std::ostream &o) const |
| virtual std::ostream & | print (std::ostream &o, bool verbose) const |
Protected Attributes | |
| ASPSolverManager::SoftwareConfigurationPtr | externalEvalConfig |
| ProgramCtx & | ctx |
| ComponentInfo | ci |
| std::vector< ID > | outerEatoms |
Friends | |
| class | GuessAndCheckModelGenerator |
Detailed Description
Definition at line 47 of file GuessAndCheckModelGenerator.h.
Member Typedef Documentation
Definition at line 54 of file GuessAndCheckModelGenerator.h.
Constructor & Destructor Documentation
| GuessAndCheckModelGeneratorFactory::GuessAndCheckModelGeneratorFactory | ( | ProgramCtx & | ctx, |
| const ComponentInfo & | ci, | ||
| ASPSolverManager::SoftwareConfigurationPtr | externalEvalConfig | ||
| ) |
Definition at line 142 of file GuessAndCheckModelGenerator.cpp.
References BaseModelGeneratorFactory::addDomainPredicatesWhereNecessary(), ProgramCtx::config, BaseModelGeneratorFactory::convertRule(), FLPModelGeneratorFactoryBase::createDomainExplorationProgram(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorFactoryBase::deidb, Configuration::getOption(), FLPModelGeneratorFactoryBase::idb, ComponentGraph::ComponentInfo::innerConstraints, FLPModelGeneratorFactoryBase::innerEatoms, ComponentGraph::ComponentInfo::innerEatoms, ComponentGraph::ComponentInfo::innerRules, LOG, print(), FLPModelGeneratorFactoryBase::reg, and FLPModelGeneratorFactoryBase::xidb.
| virtual GuessAndCheckModelGeneratorFactory::~GuessAndCheckModelGeneratorFactory | ( | ) | [inline, virtual] |
Definition at line 74 of file GuessAndCheckModelGenerator.h.
Member Function Documentation
| GuessAndCheckModelGeneratorFactory::ModelGeneratorPtr GuessAndCheckModelGeneratorFactory::createModelGenerator | ( | InterpretationConstPtr | input | ) | [virtual] |
Implements ModelGeneratorFactoryBase< Interpretation >.
Definition at line 202 of file GuessAndCheckModelGenerator.cpp.
References GuessAndCheckModelGenerator.
| std::ostream & GuessAndCheckModelGeneratorFactory::print | ( | std::ostream & | o | ) | const [virtual] |
Reimplemented from ModelGeneratorFactoryBase< Interpretation >.
Definition at line 207 of file GuessAndCheckModelGenerator.cpp.
Referenced by GuessAndCheckModelGeneratorFactory().
| std::ostream & GuessAndCheckModelGeneratorFactory::print | ( | std::ostream & | o, |
| bool | verbose | ||
| ) | const [virtual] |
Definition at line 213 of file GuessAndCheckModelGenerator.cpp.
References ctx, FLPModelGeneratorFactoryBase::gidb, FLPModelGeneratorFactoryBase::idb, FLPModelGeneratorFactoryBase::innerEatoms, outerEatoms, Printer::printmany(), ProgramCtx::registry(), FLPModelGeneratorFactoryBase::xidb, FLPModelGeneratorFactoryBase::xidbflpbody, and FLPModelGeneratorFactoryBase::xidbflphead.
Friends And Related Function Documentation
friend class GuessAndCheckModelGenerator [friend] |
Definition at line 53 of file GuessAndCheckModelGenerator.h.
Referenced by createModelGenerator().
Field Documentation
ComponentInfo GuessAndCheckModelGeneratorFactory::ci [protected] |
Definition at line 63 of file GuessAndCheckModelGenerator.h.
Referenced by GuessAndCheckModelGenerator::GuessAndCheckModelGenerator().
ProgramCtx& GuessAndCheckModelGeneratorFactory::ctx [protected] |
Definition at line 61 of file GuessAndCheckModelGenerator.h.
Referenced by GuessAndCheckModelGenerator::generateNextModel(), GuessAndCheckModelGenerator::GuessAndCheckModelGenerator(), and print().
ASPSolverManager::SoftwareConfigurationPtr GuessAndCheckModelGeneratorFactory::externalEvalConfig [protected] |
Definition at line 59 of file GuessAndCheckModelGenerator.h.
Referenced by GuessAndCheckModelGenerator::GuessAndCheckModelGenerator().
std::vector<ID> GuessAndCheckModelGeneratorFactory::outerEatoms [protected] |
Definition at line 67 of file GuessAndCheckModelGenerator.h.
Referenced by GuessAndCheckModelGenerator::GuessAndCheckModelGenerator(), and print().
The documentation for this class was generated from the following files:
- include/dlvhex2/GuessAndCheckModelGenerator.h
- src/GuessAndCheckModelGenerator.cpp
