dlvhex  2.5.0
TestModelGeneratorFactory::ModelGenerator Class Reference

#include <testsuite/dummytypes.h>

Collaboration diagram for TestModelGeneratorFactory::ModelGenerator:

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

TestModelGeneratorFactoryfactory
TestModelList models
TestModelList::iterator mit

Detailed Description

Definition at line 126 of file dummytypes.h.


Member Typedef Documentation


Constructor & Destructor Documentation

Definition at line 145 of file dummytypes.h.

References LOG_VSCOPE.


Member Function Documentation

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.


Field Documentation

Definition at line 138 of file dummytypes.h.

Referenced by generateNextModel(), and ModelGenerator().


The documentation for this class was generated from the following files: