dlvhex
2.5.0
|
Couples a model with its properties. More...
#include <include/dlvhex2/ModelGraph.h>
Public Member Functions | |
ModelPropertyBundle (EvalUnit location=EvalUnit(), ModelType type=MT_IN) | |
Constructor. | |
ModelPropertyBundle (const ModelPropertyBaseT &base, EvalUnit location=EvalUnit(), ModelType type=MT_IN) | |
Constructor. | |
std::ostream & | print (std::ostream &o) const |
Data Fields | |
EvalUnit | location |
Location of this model. | |
ModelType | type |
Type of this model. | |
Protected Types | |
typedef std::map< EvalUnit, std::set< void * > > | SuccessorModelMap |
Protected Attributes | |
SuccessorModelMap | successors |
Friends | |
class | ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > |
Couples a model with its properties.
Definition at line 129 of file ModelGraph.h.
typedef std::map<EvalUnit, std::set<void*> > ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::SuccessorModelMap [protected] |
Definition at line 148 of file ModelGraph.h.
ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::ModelPropertyBundle | ( | EvalUnit | location = EvalUnit() , |
ModelType | type = MT_IN |
||
) | [inline] |
Constructor.
location | See ModelGraph::location. |
type | See ModelGraph::type. |
Definition at line 156 of file ModelGraph.h.
ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::ModelPropertyBundle | ( | const ModelPropertyBaseT & | base, |
EvalUnit | location = EvalUnit() , |
||
ModelType | type = MT_IN |
||
) | [inline] |
Constructor.
base | Properties. |
location | See ModelGraph::location. |
type | See ModelGraph::type. |
Definition at line 165 of file ModelGraph.h.
std::ostream& ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::print | ( | std::ostream & | o | ) | const [inline] |
Definition at line 172 of file ModelGraph.h.
friend class ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > [friend] |
Definition at line 177 of file ModelGraph.h.
EvalUnit ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::location |
Location of this model.
Definition at line 136 of file ModelGraph.h.
Referenced by ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::addModel().
SuccessorModelMap ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::successors [protected] |
Definition at line 149 of file ModelGraph.h.
ModelType ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::type |
Type of this model.
Definition at line 138 of file ModelGraph.h.
Referenced by ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::addModel().