libFAUDES

Sections

Index

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::SymbolSet
 Set of symbols. 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
 default attribute
static Attr faudes::TaTransSet::mDefAttribute
 default attribute


Define Documentation

#define TaEventSet   TaNameSet

Convenience Macro.

#define TaStateSet   TaIndexSet

Convenience Macro.


Typedef Documentation

typedef NameSet faudes::EventSet

typedef IndexSet faudes::StateSet

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

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::X1EvX2> faudes::TransSetX1EvX2

Type definition for default sorted TTransSet.

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

Type definition for x1, x2, ev 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.


Variable Documentation

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

default attribute

Statics per template parameter.

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

default attribute

Statics per template parameter.

libFAUDES 2.13a c++ source docu by doxygen 1.5.6