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 |
Statics per template parameter. | |
static Attr | faudes::TaTransSet::mDefAttribute |
Statics per template parameter. |
|
Convenience Macro.
|
|
Convenience Macro.
Definition at line 567 of file indexset.h. |
|
|
|
Definition at line 220 of file indexset.h. |
|
Type definition for default sorted TTransSet.
Definition at line 759 of file transset.h. |
|
Type definition for ev, x1, x2 sorted TTransSet.
Definition at line 765 of file transset.h. |
|
Type definition for ev, x2, x1 sorted TTransSet.
Definition at line 768 of file transset.h. |
|
Type definition for default sorted TTransSet.
Definition at line 762 of file transset.h. |
|
Type definition for x1, x2, ev sorted TTransSet.
Definition at line 777 of file transset.h. |
|
Type definition for x2, ev, x1 sorted TTransSet.
Definition at line 771 of file transset.h. |
|
Type definition for x2, x1, ev sorted TTransSet.
Definition at line 774 of file transset.h. |
|
Statics per template parameter.
Definition at line 1016 of file transset.h. |
|
Statics per template parameter.
Definition at line 508 of file indexset.h. |