dlvhex
2.5.0
|
Template for Evaluation Graph. More...
#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/GraphvizHelpers.h"
#include <cassert>
#include <boost/graph/graph_traits.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/concept/assert.hpp>
#include <boost/concept_check.hpp>
#include <boost/shared_ptr.hpp>
#include <boost/foreach.hpp>
Go to the source code of this file.
Data Structures | |
struct | none_t |
class | EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > |
The EvalGraph template manages a generic evaluation graph: it takes care of a correct join order among in-edges of units,. More... | |
struct | EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitPropertyBundle |
Couples an EvalUnit with its properties. More... | |
struct | EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBundle |
Couples an EvalUnitDep with its properties. More... | |
class | EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Observer |
Observer. More... | |
struct | EvalUnitProjectionProperties |
Projection properties for eval units such properties are required by the model graph. More... | |
struct | EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Impl |
Helper for printing a single EvalUnit in dot format. More... |
Template for Evaluation Graph.
Definition in file EvalGraph.h.