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 |
#define TaStateSet TaIndexSet |
Typedef Documentation
Variable Documentation
default attribute
Statics per template parameter.
default attribute
Statics per template parameter.
|