Dummy replacement types for testing (model building) templates. More...

#include "dlvhex2/Logger.h"
#include "dlvhex2/EvalGraph.h"
#include "dlvhex2/ModelGraph.h"
#include "dlvhex2/ModelGenerator.h"
#include <boost/test/unit_test.hpp>

Include dependency graph for dummytypes.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	TestProgramCtx
class	TestInterpretation
class	TestModelGeneratorFactory
class	TestModelGeneratorFactory::ModelGenerator
struct	TestEvalUnitPropertyBase
struct	TestModelPropertyBase
class	CounterVerification< EvalGraphT >
Typedefs
typedef std::set< std::string >	TestAtomSet
typedef dlvhex::EvalGraph < TestEvalUnitPropertyBase >	TestEvalGraph
typedef TestEvalGraph::EvalUnit	EvalUnit
typedef TestEvalGraph::EvalUnitDep	EvalUnitDep
typedef dlvhex::ModelGraph < TestEvalGraph, TestModelPropertyBase >	TestModelGraph
typedef TestModelGraph::Model	Model
typedef TestModelGraph::ModelPropertyBundle	ModelProp
typedef TestModelGraph::ModelDep	ModelDep
typedef TestModelGraph::ModelDepPropertyBundle	ModelDepProp
Functions
std::ostream &	operator<< (std::ostream &o, const TestInterpretation &i)