dlvhex
2.5.0
|
#include <testsuite/dummytypes.h>
Public Types | |
typedef std::list < TestInterpretation::Ptr > | TestModelList |
Public Member Functions | |
ModelGenerator (InterpretationConstPtr input, TestModelGeneratorFactory &factory) | |
virtual | ~ModelGenerator () |
virtual InterpretationPtr | generateNextModel () |
virtual std::ostream & | print (std::ostream &o) const |
Data Fields | |
TestModelGeneratorFactory & | factory |
TestModelList | models |
TestModelList::iterator | mit |
Definition at line 126 of file dummytypes.h.
typedef std::list<TestInterpretation::Ptr> TestModelGeneratorFactory::ModelGenerator::TestModelList |
Definition at line 131 of file dummytypes.h.
TestModelGeneratorFactory::ModelGenerator::ModelGenerator | ( | InterpretationConstPtr | input, |
TestModelGeneratorFactory & | factory | ||
) |
Definition at line 39 of file dummytypes.cpp.
References TestModelGeneratorFactory::ctx, LOG, LOG_INDENT, LOG_VSCOPE, mit, models, and TestProgramCtx::rules.
virtual TestModelGeneratorFactory::ModelGenerator::~ModelGenerator | ( | ) | [inline, virtual] |
Definition at line 145 of file dummytypes.h.
References LOG_VSCOPE.
virtual InterpretationPtr TestModelGeneratorFactory::ModelGenerator::generateNextModel | ( | ) | [inline, virtual] |
Definition at line 150 of file dummytypes.h.
References TestModelGeneratorFactory::ctx, factory, TestModelGeneratorFactory::generateNextModelCount, LOG, LOG_VSCOPE, mit, models, and TestProgramCtx::rules.
virtual std::ostream& TestModelGeneratorFactory::ModelGenerator::print | ( | std::ostream & | o | ) | const [inline, virtual] |
Definition at line 171 of file dummytypes.h.
References TestModelGeneratorFactory::ctx, factory, and TestProgramCtx::rules.
Definition at line 133 of file dummytypes.h.
Referenced by generateNextModel(), and print().
TestModelList::iterator TestModelGeneratorFactory::ModelGenerator::mit |
Definition at line 138 of file dummytypes.h.
Referenced by generateNextModel(), and ModelGenerator().
Definition at line 136 of file dummytypes.h.
Referenced by generateNextModel(), and ModelGenerator().