TestModelGeneratorFactory Class Reference

#include <testsuite/dummytypes.h>

Collaboration diagram for TestModelGeneratorFactory:

Data Structures
class	ModelGenerator
Public Types
typedef dlvhex::ModelGeneratorFactoryBase < TestInterpretation >	Base
Public Member Functions
	TestModelGeneratorFactory (const TestProgramCtx &ctx)
virtual	~TestModelGeneratorFactory ()
virtual ModelGeneratorPtr	createModelGenerator (TestInterpretation::ConstPtr input)
virtual std::ostream &	print (std::ostream &o) const
Data Fields
const TestProgramCtx &	ctx
unsigned	generateNextModelCount

---

Detailed Description

Definition at line 116 of file dummytypes.h.

---

Member Typedef Documentation

typedef dlvhex::ModelGeneratorFactoryBase<TestInterpretation> TestModelGeneratorFactory::Base

Definition at line 124 of file dummytypes.h.

---

Constructor & Destructor Documentation

TestModelGeneratorFactory::TestModelGeneratorFactory

(

const TestProgramCtx &

ctx

)

[inline]

Definition at line 189 of file dummytypes.h.

References LOG, LOG_VSCOPE, and TestProgramCtx::rules.

virtual TestModelGeneratorFactory::~TestModelGeneratorFactory

(

)

[inline, virtual]

Definition at line 197 of file dummytypes.h.

References generateNextModelCount, LOG, and LOG_VSCOPE.

---

Member Function Documentation

virtual ModelGeneratorPtr TestModelGeneratorFactory::createModelGenerator

(

TestInterpretation::ConstPtr

input

)

[inline, virtual]

Definition at line 203 of file dummytypes.h.

References LOG, LOG_VSCOPE, and printptr().

virtual std::ostream& TestModelGeneratorFactory::print

(

std::ostream &

o

)

const [inline, virtual]

Definition at line 213 of file dummytypes.h.

References ctx, and TestProgramCtx::rules.

---

Field Documentation

const TestProgramCtx& TestModelGeneratorFactory::ctx

Definition at line 182 of file dummytypes.h.

Referenced by TestModelGeneratorFactory::ModelGenerator::generateNextModel(), TestModelGeneratorFactory::ModelGenerator::ModelGenerator(), TestModelGeneratorFactory::ModelGenerator::print(), and print().

unsigned TestModelGeneratorFactory::generateNextModelCount

Definition at line 183 of file dummytypes.h.

Referenced by TestModelGeneratorFactory::ModelGenerator::generateNextModel(), and ~TestModelGeneratorFactory().

---

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

• testsuite/dummytypes.h