#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/EvalGraph.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Printhelpers.h"
#include <boost/graph/graph_traits.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/concept/assert.hpp>
#include <boost/concept_check.hpp>
#include <boost/optional.hpp>
#include <boost/shared_ptr.hpp>
#include <cassert>
#include <iomanip>

Include dependency graph for ModelGraph.h:

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

Go to the source code of this file.

Data Structures
class	ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
	Implements the ModelGraph. More...
struct	ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle
	Couples a model with its properties. More...
struct	ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelDepPropertyBundle
	Couples a model dependency with its properties. More...
struct	ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels
	Stores the models for one EvalUnit. More...
Enumerations
enum	ModelType { MT_IN = 0, MT_INPROJ = 1, MT_OUT = 2, MT_OUTPROJ = 3 }
	This is used as index into an array by struct EvalUnitModels. More...
Functions
const char *	toString (ModelType mt)
	Returns a string representation for a model type.