dlvhex  2.5.0
ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle Struct Reference

Couples a model with its properties. More...

#include <include/dlvhex2/ModelGraph.h>

Inheritance diagram for ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle:
Collaboration diagram for ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle:

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 >

Detailed Description

template<typename EvalGraphT, typename ModelPropertyBaseT = none_t, typename ModelDepPropertyBaseT = none_t>
struct ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle

Couples a model with its properties.

Definition at line 129 of file ModelGraph.h.


Member Typedef Documentation

template<typename EvalGraphT, typename ModelPropertyBaseT = none_t, typename ModelDepPropertyBaseT = none_t>
typedef std::map<EvalUnit, std::set<void*> > ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::SuccessorModelMap [protected]

Definition at line 148 of file ModelGraph.h.


Constructor & Destructor Documentation

template<typename EvalGraphT, typename ModelPropertyBaseT = none_t, typename ModelDepPropertyBaseT = none_t>
ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::ModelPropertyBundle ( EvalUnit  location = EvalUnit(),
ModelType  type = MT_IN 
) [inline]

Constructor.

Parameters:
locationSee ModelGraph::location.
typeSee ModelGraph::type.

Definition at line 156 of file ModelGraph.h.

template<typename EvalGraphT, typename ModelPropertyBaseT = none_t, typename ModelDepPropertyBaseT = none_t>
ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::ModelPropertyBundle ( const ModelPropertyBaseT &  base,
EvalUnit  location = EvalUnit(),
ModelType  type = MT_IN 
) [inline]

Constructor.

Parameters:
baseProperties.
locationSee ModelGraph::location.
typeSee ModelGraph::type.

Definition at line 165 of file ModelGraph.h.


Member Function Documentation

template<typename EvalGraphT, typename ModelPropertyBaseT = none_t, typename ModelDepPropertyBaseT = none_t>
std::ostream& ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::print ( std::ostream &  o) const [inline]

Definition at line 172 of file ModelGraph.h.


Friends And Related Function Documentation

template<typename EvalGraphT, typename ModelPropertyBaseT = none_t, typename ModelDepPropertyBaseT = none_t>
friend class ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > [friend]

Definition at line 177 of file ModelGraph.h.


Field Documentation

template<typename EvalGraphT, typename ModelPropertyBaseT = none_t, typename ModelDepPropertyBaseT = none_t>
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().

template<typename EvalGraphT, typename ModelPropertyBaseT = none_t, typename ModelDepPropertyBaseT = none_t>
SuccessorModelMap ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle::successors [protected]

Definition at line 149 of file ModelGraph.h.

template<typename EvalGraphT, typename ModelPropertyBaseT = none_t, typename ModelDepPropertyBaseT = none_t>
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().


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