#include <include/dlvhex2/GuessAndCheckModelGenerator.h>
Public Types | |
| typedef GuessAndCheckModelGeneratorFactory | Factory |
Public Member Functions | |
| GuessAndCheckModelGenerator (Factory &factory, InterpretationConstPtr input) | |
| Constructor. | |
| virtual | ~GuessAndCheckModelGenerator () |
| Destuctor. | |
| virtual InterpretationPtr | generateNextModel () |
| Generate and return next model, return NULL after last model. | |
Protected Attributes | |
| Factory & | factory |
| Reference to the factory which created this model generator. | |
| InterpretationConstPtr | postprocessedInput |
| EDB + original (input) interpretation plus auxiliary atoms for evaluated external atoms. | |
| InterpretationPtr | mask |
| Non-external fact input, i.e., postprocessedInput before evaluating outer eatoms. | |
| ASPSolverManager::ResultsPtr | guessres |
| Result handle for retrieving edb+xidb+gidb guesses of this eval unit. | |
Detailed Description
Definition at line 104 of file GuessAndCheckModelGenerator.h.
Member Typedef Documentation
Definition at line 110 of file GuessAndCheckModelGenerator.h.
Constructor & Destructor Documentation
| GuessAndCheckModelGenerator::GuessAndCheckModelGenerator | ( | Factory & | factory, |
| InterpretationConstPtr | input | ||
| ) |
Constructor.
- Parameters:
-
factory Reference to the factory which created this model generator. input Input interpretation to this model generator.
Definition at line 254 of file GuessAndCheckModelGenerator.cpp.
References GuessAndCheckModelGeneratorFactory::ci, GuessAndCheckModelGeneratorFactory::ctx, DBGLOG, ComponentGraph::ComponentInfo::disjunctiveHeads, DLVHEX_BENCHMARK_COUNT, DLVHEX_BENCHMARK_REGISTER, ProgramCtx::edb, BaseModelGenerator::evaluateExternalAtoms(), GuessAndCheckModelGeneratorFactory::externalEvalConfig, FLPModelGeneratorFactoryBase::gidb, guessres, OrdinaryASPProgram::idb, mask, ProgramCtx::maxint, GuessAndCheckModelGeneratorFactory::outerEatoms, postprocessedInput, FLPModelGeneratorFactoryBase::reg, ASPSolverManager::solve(), WARNING(), and FLPModelGeneratorFactoryBase::xidb.
| virtual GuessAndCheckModelGenerator::~GuessAndCheckModelGenerator | ( | ) | [inline, virtual] |
Destuctor.
Definition at line 138 of file GuessAndCheckModelGenerator.h.
Member Function Documentation
Generate and return next model, return NULL after last model.
- Returns:
- Next model if any and NULL after last model.
Implements ModelGeneratorBase< Interpretation >.
Definition at line 314 of file GuessAndCheckModelGenerator.cpp.
References ProgramCtx::config, GuessAndCheckModelGeneratorFactory::ctx, DBGLOG, DBGLOG_SCOPE, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, factory, Configuration::getOption(), FLPModelGeneratorFactoryBase::gnMask, FLPModelGeneratorFactoryBase::gpMask, guessres, FLPModelGeneratorBase::isCompatibleSet(), PredicateMask::mask(), mask, postprocessedInput, and FLPModelGeneratorFactoryBase::reg.
Field Documentation
Factory& GuessAndCheckModelGenerator::factory [protected] |
Reference to the factory which created this model generator.
Reimplemented from FLPModelGeneratorBase.
Definition at line 116 of file GuessAndCheckModelGenerator.h.
Referenced by generateNextModel().
Result handle for retrieving edb+xidb+gidb guesses of this eval unit.
Definition at line 124 of file GuessAndCheckModelGenerator.h.
Referenced by generateNextModel(), and GuessAndCheckModelGenerator().
InterpretationPtr GuessAndCheckModelGenerator::mask [protected] |
Non-external fact input, i.e., postprocessedInput before evaluating outer eatoms.
Definition at line 121 of file GuessAndCheckModelGenerator.h.
Referenced by generateNextModel(), and GuessAndCheckModelGenerator().
EDB + original (input) interpretation plus auxiliary atoms for evaluated external atoms.
Definition at line 119 of file GuessAndCheckModelGenerator.h.
Referenced by generateNextModel(), and GuessAndCheckModelGenerator().
The documentation for this class was generated from the following files:
- include/dlvhex2/GuessAndCheckModelGenerator.h
- src/GuessAndCheckModelGenerator.cpp
