dlvhex  2.5.0
Public Types | Public Member Functions | Data Fields
TestProgramCtx Struct Reference

#include <testsuite/dummytypes.h>

Collaboration diagram for TestProgramCtx:
Collaboration graph
[legend]

Public Types

typedef std::string Rule
typedef std::string Constraint

Public Member Functions

 TestProgramCtx (const Rule &rules)
 ~TestProgramCtx ()

Data Fields

Rule rules

Detailed Description

Definition at line 41 of file dummytypes.h.

Member Typedef Documentation

typedef std::string TestProgramCtx::Constraint

Definition at line 44 of file dummytypes.h.

typedef std::string TestProgramCtx::Rule

Definition at line 43 of file dummytypes.h.

Constructor & Destructor Documentation

TestProgramCtx::TestProgramCtx ( const Rule &  rules) [inline]

Definition at line 48 of file dummytypes.h.

TestProgramCtx::~TestProgramCtx ( ) [inline]

Definition at line 53 of file dummytypes.h.

Field Documentation

Rule TestProgramCtx::rules

Definition at line 46 of file dummytypes.h.

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

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