Diades::Utils::PartialOrder< Object, Order, Equal > Class Template Reference

#include <PartialOrder.hh>

Classes
class	Iterator
	Iterator on the Net. More...

Public Member Functions
	PartialOrder ()
	~PartialOrder ()
	PartialOrder (const PartialOrder &order)
bool	empty () const
void	insert (const Object &object)
Iterator	minimalBegin () const
Iterator	minimalEnd () const
Iterator	maximalBegin () const
Iterator	maximalEnd () const
const Object &	getObject (Node node) const
void	erase (const Object &object)
void	clear ()

Private Attributes
Graph	_order
NodeMap< Object >	_map
set< Node >	_min
set< Node >	_max

Detailed Description

template<typename Object, typename Order, typename Equal>
class Diades::Utils::PartialOrder< Object, Order, Equal >

This class implements a partial order of some Object It is implemented as a Graph, each Node contains an Object A set of minimal (roots) and maximal (leaves) is managed

Definition at line 30 of file PartialOrder.hh.

Constructor & Destructor Documentation

PartialOrder() [1/2]

template<typename Object, typename Order, typename Equal>

Diades::Utils::PartialOrder< Object, Order, Equal >::PartialOrder ( )

inline

Definition at line 93 of file PartialOrder.hh.

~PartialOrder()

template<typename Object, typename Order, typename Equal>

Diades::Utils::PartialOrder< Object, Order, Equal >::~PartialOrder ( )

inline

Definition at line 98 of file PartialOrder.hh.

PartialOrder() [2/2]

template<typename Object, typename Order, typename Equal>

Diades::Utils::PartialOrder< Object, Order, Equal >::PartialOrder ( const PartialOrder< Object, Order, Equal > &  order )

inline

Definition at line 102 of file PartialOrder.hh.

Member Function Documentation

clear()

template<typename Object, typename Order, typename Equal>

void Diades::Utils::PartialOrder< Object, Order, Equal >::clear ( )

inline

Definition at line 213 of file PartialOrder.hh.

empty()

template<typename Object, typename Order, typename Equal>

bool Diades::Utils::PartialOrder< Object, Order, Equal >::empty ( ) const

inline

Definition at line 105 of file PartialOrder.hh.

erase()

template<typename Object, typename Order, typename Equal>

void Diades::Utils::PartialOrder< Object, Order, Equal >::erase ( const Object &  object )

inline

Definition at line 195 of file PartialOrder.hh.

getObject()

template<typename Object, typename Order, typename Equal>

const Object& Diades::Utils::PartialOrder< Object, Order, Equal >::getObject ( Node  node ) const

inline

Definition at line 189 of file PartialOrder.hh.

Referenced by Diades::Utils::PartialOrder< Diades::Petri::Extension, Diades::Petri::AdequateOrder, Diades::Petri::ExtensionEquality >::erase(), Diades::Utils::PartialOrder< Diades::Petri::Extension, Diades::Petri::AdequateOrder, Diades::Petri::ExtensionEquality >::insert(), Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator*(), and Diades::Utils::PartialOrder< Object, Order, Equal >::Iterator::operator->().

insert()

template<typename Object, typename Order, typename Equal>

void Diades::Utils::PartialOrder< Object, Order, Equal >::insert ( const Object &  object )

inline

Definition at line 111 of file PartialOrder.hh.

maximalBegin()

template<typename Object, typename Order, typename Equal>

Iterator Diades::Utils::PartialOrder< Object, Order, Equal >::maximalBegin ( ) const

inline

Definition at line 178 of file PartialOrder.hh.

maximalEnd()

template<typename Object, typename Order, typename Equal>

Iterator Diades::Utils::PartialOrder< Object, Order, Equal >::maximalEnd ( ) const

inline

Definition at line 183 of file PartialOrder.hh.

minimalBegin()

template<typename Object, typename Order, typename Equal>

Iterator Diades::Utils::PartialOrder< Object, Order, Equal >::minimalBegin ( ) const

inline

Definition at line 167 of file PartialOrder.hh.

minimalEnd()

template<typename Object, typename Order, typename Equal>

Iterator Diades::Utils::PartialOrder< Object, Order, Equal >::minimalEnd ( ) const

inline

Definition at line 172 of file PartialOrder.hh.

Member Data Documentation

_map

template<typename Object, typename Order, typename Equal>

NodeMap<Object> Diades::Utils::PartialOrder< Object, Order, Equal >::_map

private

Definition at line 34 of file PartialOrder.hh.

_max

template<typename Object, typename Order, typename Equal>

set<Node> Diades::Utils::PartialOrder< Object, Order, Equal >::_max

private

Definition at line 36 of file PartialOrder.hh.

_min

template<typename Object, typename Order, typename Equal>

set<Node> Diades::Utils::PartialOrder< Object, Order, Equal >::_min

private

Definition at line 35 of file PartialOrder.hh.

_order

template<typename Object, typename Order, typename Equal>

Graph Diades::Utils::PartialOrder< Object, Order, Equal >::_order

private

Definition at line 33 of file PartialOrder.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/petri/PartialOrder.hh