#include <transset.h>
This class provides the triple in struct like fashion where the components are of type faudes::Idx. While default order is lexographic, the transition container TTransSet allows for alternative sorting. Since technically a Transition is just a triple of indices, it is only the context of a generator that actually makes it a transition (eg by providing mandatory symbolic event names).
Definition at line 51 of file transset.h.
Public Member Functions | |
Transition (void) | |
Construct invalid Transition. | |
Transition (Idx x1, Idx ev, Idx x2) | |
Construct from values. | |
bool | operator< (const Transition &othertrans) const |
Default order for sorting container of Transition (lexographic). | |
bool | operator== (const Transition &othertrans) const |
Equality operator. | |
bool | operator!= (const Transition &othertrans) const |
Inequality operator. | |
bool | Valid (void) const |
Test validity (all indices !=0. | |
std::string | Str (void) const |
Pretty print to string. | |
Public Attributes | |
Idx | X1 |
Current state. | |
Idx | Ev |
Event. | |
Idx | X2 |
Next state. |
|
Construct invalid Transition.
Definition at line 56 of file transset.h. |
|
Construct from values.
Definition at line 67 of file transset.h. |
|
Inequality operator.
Definition at line 86 of file transset.h. |
|
Default order for sorting container of Transition (lexographic).
Definition at line 71 of file transset.h. |
|
Equality operator.
Definition at line 81 of file transset.h. |
|
Pretty print to string.
Definition at line 105 of file transset.h. |
|
Test validity (all indices !=0.
Definition at line 91 of file transset.h. |
|
Event.
Definition at line 99 of file transset.h. |
|
Current state.
Definition at line 93 of file transset.h. |
|
Next state.
Definition at line 102 of file transset.h. |