State, Event and Transition Set


Detailed Description

This module collects all basic container classes aka state- event- and transition-sets.


Classes

class  faudes::TBaseSet< T, Cmp >
 STL style set template. More...
class  faudes::IndexSet
 Set of indices. More...
class  faudes::TaIndexSet< Attr >
 Set of indices with attributes. More...
class  faudes::NameSet
 Set of indices with symbolic names. More...
class  faudes::TaNameSet< Attr >
 Set of indices with symbolic names and attributes. More...
class  faudes::Transition
 Triple (X1,Ev,X2) to represent current state, event and next state. More...
class  faudes::TransSort
 Alternative ordering of Transitions. More...
class  faudes::TTransSet< Cmp >
 Set of Transitions. More...
class  faudes::TaTransSet< Attr >
 Set of Transitions with attributes. More...

Defines

#define TaStateSet   TaIndexSet
 Convenience Macro.
#define TaEventSet   TaNameSet
 Convenience Macro.

Typedefs

typedef IndexSet faudes::StateSet
typedef NameSet faudes::EventSet
typedef TTransSet< TransSort::X1EvX2 > faudes::TransSet
 Type definition for default sorted TTransSet.
typedef TTransSet< TransSort::X1EvX2 > faudes::TransSetX1EvX2
 Type definition for default sorted TTransSet.
typedef TTransSet< TransSort::EvX1X2 > faudes::TransSetEvX1X2
 Type definition for ev, x1, x2 sorted TTransSet.
typedef TTransSet< TransSort::EvX2X1 > faudes::TransSetEvX2X1
 Type definition for ev, x2, x1 sorted TTransSet.
typedef TTransSet< TransSort::X2EvX1 > faudes::TransSetX2EvX1
 Type definition for x2, ev, x1 sorted TTransSet.
typedef TTransSet< TransSort::X2X1Ev > faudes::TransSetX2X1Ev
 Type definition for x2, x1, ev sorted TTransSet.
typedef TTransSet< TransSort::X1X2Ev > faudes::TransSetX1X2Ev
 Type definition for x1, x2, ev sorted TTransSet.

Variables

static Attr faudes::TaIndexSet::mDefAttribute
 Statics per template parameter.
static Attr faudes::TaTransSet::mDefAttribute
 Statics per template parameter.


Define Documentation

#define TaEventSet   TaNameSet
 

Convenience Macro.

Definition at line 736 of file nameset.h.

#define TaStateSet   TaIndexSet
 

Convenience Macro.

Definition at line 552 of file indexset.h.


Typedef Documentation

typedef NameSet faudes::EventSet
 

Definition at line 437 of file nameset.h.

typedef IndexSet faudes::StateSet
 

Definition at line 210 of file indexset.h.

typedef TTransSet<TransSort::X1EvX2> faudes::TransSet
 

Type definition for default sorted TTransSet.

Definition at line 755 of file transset.h.

typedef TTransSet<TransSort::EvX1X2> faudes::TransSetEvX1X2
 

Type definition for ev, x1, x2 sorted TTransSet.

Definition at line 761 of file transset.h.

typedef TTransSet<TransSort::EvX2X1> faudes::TransSetEvX2X1
 

Type definition for ev, x2, x1 sorted TTransSet.

Definition at line 764 of file transset.h.

typedef TTransSet<TransSort::X1EvX2> faudes::TransSetX1EvX2
 

Type definition for default sorted TTransSet.

Definition at line 758 of file transset.h.

typedef TTransSet<TransSort::X1X2Ev> faudes::TransSetX1X2Ev
 

Type definition for x1, x2, ev sorted TTransSet.

Definition at line 773 of file transset.h.

typedef TTransSet<TransSort::X2EvX1> faudes::TransSetX2EvX1
 

Type definition for x2, ev, x1 sorted TTransSet.

Definition at line 767 of file transset.h.

typedef TTransSet<TransSort::X2X1Ev> faudes::TransSetX2X1Ev
 

Type definition for x2, x1, ev sorted TTransSet.

Definition at line 770 of file transset.h.


Variable Documentation

template<class Attr>
Attr faudes::TaTransSet< Attr >::mDefAttribute [static, protected, inherited]
 

Statics per template parameter.

Definition at line 1012 of file transset.h.

template<class Attr>
Attr faudes::TaIndexSet< Attr >::mDefAttribute [static, protected, inherited]
 

Statics per template parameter.

Definition at line 498 of file indexset.h.


Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4