Instantiates a ModelGenerator. More...
#include <include/dlvhex2/ModelGenerator.h>
Public Types | |
| typedef InterpretationT | Interpretation |
| typedef boost::shared_ptr < ModelGeneratorFactoryBase < InterpretationT > > | Ptr |
| typedef ModelGeneratorBase < InterpretationT > | MyModelGeneratorBase |
| typedef MyModelGeneratorBase::Ptr | ModelGeneratorPtr |
| typedef MyModelGeneratorBase::InterpretationConstPtr | InterpretationConstPtr |
Public Member Functions | |
| ModelGeneratorFactoryBase () | |
| Constructor. | |
| virtual | ~ModelGeneratorFactoryBase () |
| Constructor. | |
| virtual void | addInconsistencyCauseFromSuccessor (const Nogood *cause) |
| Informs the model generator about an inconsistency cause in successor units. | |
| virtual ModelGeneratorPtr | createModelGenerator (InterpretationConstPtr input)=0 |
| Creates a ModelGenerator for a certain input interpretation. | |
| virtual std::ostream & | print (std::ostream &o) const |
Detailed Description
template<typename InterpretationT>
class ModelGeneratorFactoryBase< InterpretationT >
Instantiates a ModelGenerator.
A model generator factory provides model generators for a certain types of interpretations.
Definition at line 131 of file ModelGenerator.h.
Member Typedef Documentation
| typedef InterpretationT ModelGeneratorFactoryBase< InterpretationT >::Interpretation |
Definition at line 136 of file ModelGenerator.h.
| typedef MyModelGeneratorBase::InterpretationConstPtr ModelGeneratorFactoryBase< InterpretationT >::InterpretationConstPtr |
Definition at line 145 of file ModelGenerator.h.
| typedef MyModelGeneratorBase::Ptr ModelGeneratorFactoryBase< InterpretationT >::ModelGeneratorPtr |
Definition at line 143 of file ModelGenerator.h.
| typedef ModelGeneratorBase<InterpretationT> ModelGeneratorFactoryBase< InterpretationT >::MyModelGeneratorBase |
Definition at line 142 of file ModelGenerator.h.
| typedef boost::shared_ptr< ModelGeneratorFactoryBase<InterpretationT> > ModelGeneratorFactoryBase< InterpretationT >::Ptr |
Definition at line 140 of file ModelGenerator.h.
Constructor & Destructor Documentation
| ModelGeneratorFactoryBase< InterpretationT >::ModelGeneratorFactoryBase | ( | ) | [inline] |
Constructor.
Definition at line 150 of file ModelGenerator.h.
| virtual ModelGeneratorFactoryBase< InterpretationT >::~ModelGeneratorFactoryBase | ( | ) | [inline, virtual] |
Constructor.
Definition at line 152 of file ModelGenerator.h.
Member Function Documentation
| virtual void ModelGeneratorFactoryBase< InterpretationT >::addInconsistencyCauseFromSuccessor | ( | const Nogood * | cause | ) | [inline, virtual] |
Informs the model generator about an inconsistency cause in successor units.
- Parameters:
-
cause Pointer to a nogood which, if violated and no new atoms are introduced, always makes a successor unit inconsistent. Note: Due to nonmonotonicity the introduction of new atoms might invalidate this cause!
Reimplemented in GenuineGuessAndCheckModelGeneratorFactory.
Definition at line 158 of file ModelGenerator.h.
| virtual ModelGeneratorPtr ModelGeneratorFactoryBase< InterpretationT >::createModelGenerator | ( | InterpretationConstPtr | input | ) | [pure virtual] |
Creates a ModelGenerator for a certain input interpretation.
- Parameters:
-
input Input interpretation.
Implemented in GenuineGuessAndCheckModelGeneratorFactory, GenuinePlainModelGeneratorFactory, GenuineWellfoundedModelGeneratorFactory, PlainModelGeneratorFactory, WellfoundedModelGeneratorFactory, and GuessAndCheckModelGeneratorFactory.
| virtual std::ostream& ModelGeneratorFactoryBase< InterpretationT >::print | ( | std::ostream & | o | ) | const [inline, virtual] |
Reimplemented in GenuineGuessAndCheckModelGeneratorFactory, GenuinePlainModelGeneratorFactory, GenuineWellfoundedModelGeneratorFactory, PlainModelGeneratorFactory, WellfoundedModelGeneratorFactory, and GuessAndCheckModelGeneratorFactory.
Definition at line 164 of file ModelGenerator.h.
The documentation for this class was generated from the following file:
- include/dlvhex2/ModelGenerator.h
