dlvhex  2.1.0
Data Structures | Public Types | Public Member Functions | Private Attributes
EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > Class Template Reference

#include <include/dlvhex2/EvalGraph.h>

Collaboration diagram for EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >:
Collaboration graph
[legend]

Data Structures

struct  EvalUnitDepPropertyBundle
struct  EvalUnitPropertyBundle
struct  Impl
class  Observer

Public Types

typedef EvalUnitPropertyBaseT EvalUnitPropertyBase
typedef EvalUnitDepPropertyBaseT EvalUnitDepPropertyBase
typedef boost::adjacency_list
< boost::vecS, boost::vecS,
boost::bidirectionalS,
EvalUnitPropertyBundle,
EvalUnitDepPropertyBundle > 		EvalGraphInt
typedef boost::graph_traits
< EvalGraphInt > 		Traits
typedef
EvalGraphInt::vertex_descriptor 		EvalUnit
typedef
EvalGraphInt::edge_descriptor 		EvalUnitDep
typedef Traits::vertex_iterator EvalUnitIterator
typedef Traits::edge_iterator DependencyIterator
typedef Traits::out_edge_iterator PredecessorIterator
typedef Traits::in_edge_iterator SuccessorIterator
typedef boost::shared_ptr
< Observer > 		ObserverPtr

Public Member Functions

 EvalGraph ()
 EvalGraph (const EvalGraph &other)
const EvalGraphInt & getInt () const
EvalUnit addUnit (const EvalUnitPropertyBundle &prop)
EvalUnitDep addDependency (EvalUnit u1, EvalUnit u2, const EvalUnitDepPropertyBundle &prop)
void addObserver (ObserverPtr o)
void eraseObserver (ObserverPtr o)
std::pair< EvalUnitIterator,
EvalUnitIterator > 		getEvalUnits () const
std::pair< PredecessorIterator,
PredecessorIterator > 		getPredecessors (EvalUnit u) const
std::pair< SuccessorIterator,
SuccessorIterator > 		getSuccessors (EvalUnit u) const
const EvalUnitDepPropertyBundle & propsOf (EvalUnitDep d) const
EvalUnitDepPropertyBundle & propsOf (EvalUnitDep d)
const EvalUnitPropertyBundle & propsOf (EvalUnit u) const
EvalUnitPropertyBundle & propsOf (EvalUnit u)
EvalUnit sourceOf (EvalUnitDep d) const
EvalUnit targetOf (EvalUnitDep d) const
unsigned countEvalUnits () const
unsigned countEvalUnitDeps () const
void writeGraphViz (std::ostream &o, bool verbose) const

Private Attributes

EvalGraphInt eg
std::set< ObserverPtr > observers

Detailed Description

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
class EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >

Definition at line 61 of file EvalGraph.h.

Member Typedef Documentation

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef Traits::edge_iterator EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::DependencyIterator

Definition at line 124 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef boost::adjacency_list< boost::vecS, boost::vecS, boost::bidirectionalS, EvalUnitPropertyBundle, EvalUnitDepPropertyBundle> EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalGraphInt

Definition at line 118 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef EvalGraphInt::vertex_descriptor EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnit

Definition at line 121 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef EvalGraphInt::edge_descriptor EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDep

Definition at line 122 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef EvalUnitDepPropertyBaseT EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBase

Definition at line 68 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef Traits::vertex_iterator EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitIterator

Definition at line 123 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef EvalUnitPropertyBaseT EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitPropertyBase

Definition at line 67 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef boost::shared_ptr<Observer> EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::ObserverPtr

Definition at line 135 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef Traits::out_edge_iterator EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::PredecessorIterator

Definition at line 125 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef Traits::in_edge_iterator EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::SuccessorIterator

Definition at line 126 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
typedef boost::graph_traits<EvalGraphInt> EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Traits

Definition at line 119 of file EvalGraph.h.

Constructor & Destructor Documentation

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalGraph ( ) [inline]

Definition at line 148 of file EvalGraph.h.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalGraph ( const EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > &  other)

Member Function Documentation

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
EvalUnitDep EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addDependency ( EvalUnit  u1,
EvalUnit  u2,
const EvalUnitDepPropertyBundle &  prop 
) [inline]

Definition at line 164 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg, EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::getPredecessors(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBundle::joinOrder, EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::observers, and EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::propsOf().

Referenced by BOOST_FIXTURE_TEST_CASE(), EvalGraphBuilder::createEvalUnit(), and main().

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
void EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addObserver ( ObserverPtr  o) [inline]

Definition at line 195 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::observers.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
EvalUnit EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addUnit ( const EvalUnitPropertyBundle &  prop) [inline]

Definition at line 156 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg, and EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::observers.

Referenced by BOOST_FIXTURE_TEST_CASE(), EvalGraphBuilder::createEvalUnit(), and main().

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
unsigned EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::countEvalUnitDeps ( ) const [inline]

Definition at line 260 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

Referenced by main().

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
unsigned EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::countEvalUnits ( ) const [inline]

Definition at line 256 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

Referenced by main().

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
void EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eraseObserver ( ObserverPtr  o) [inline]

Definition at line 200 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::observers.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
std::pair<EvalUnitIterator, EvalUnitIterator> EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::getEvalUnits ( ) const [inline]

Definition at line 206 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

Referenced by BOOST_FIXTURE_TEST_CASE(), main(), and writeEgMgGraphViz().

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
const EvalGraphInt& EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::getInt ( ) const [inline]

Definition at line 153 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
std::pair<PredecessorIterator, PredecessorIterator> EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::getPredecessors ( EvalUnit  u) const [inline]

Definition at line 214 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

Referenced by EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addDependency().

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
std::pair<SuccessorIterator, SuccessorIterator> EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::getSuccessors ( EvalUnit  u) const [inline]

Definition at line 222 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
const EvalUnitDepPropertyBundle& EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::propsOf ( EvalUnitDep  d) const [inline]

Definition at line 227 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

Referenced by EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addDependency(), EvalGraphBuilder::createEvalUnit(), and writeEgMgGraphViz().

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
EvalUnitDepPropertyBundle& EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::propsOf ( EvalUnitDep  d) [inline]

Definition at line 232 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
const EvalUnitPropertyBundle& EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::propsOf ( EvalUnit  u) const [inline]

Definition at line 237 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
EvalUnitPropertyBundle& EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::propsOf ( EvalUnit  u) [inline]

Definition at line 242 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
EvalUnit EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::sourceOf ( EvalUnitDep  d) const [inline]

Definition at line 247 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
EvalUnit EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::targetOf ( EvalUnitDep  d) const [inline]

Definition at line 251 of file EvalGraph.h.

References EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg.

template<typename EvalUnitPropertyBaseT , typename EvalUnitDepPropertyBaseT >
void EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::writeGraphViz ( std::ostream &  o,
bool  verbose 
) const

Definition at line 299 of file EvalGraph.h.

References graphviz::escape().

Field Documentation

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
EvalGraphInt EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eg [private]

Definition at line 141 of file EvalGraph.h.

Referenced by EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addDependency(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addUnit(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::countEvalUnitDeps(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::countEvalUnits(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::getEvalUnits(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::getInt(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::getPredecessors(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::getSuccessors(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::propsOf(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::sourceOf(), and EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::targetOf().

template<typename EvalUnitPropertyBaseT = none_t, typename EvalUnitDepPropertyBaseT = none_t>
std::set<ObserverPtr> EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::observers [private]

Definition at line 142 of file EvalGraph.h.

Referenced by EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addDependency(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addObserver(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::addUnit(), and EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::eraseObserver().

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