#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 52 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 57 of file transset.h. |
|
Construct from values.
Definition at line 68 of file transset.h. |
|
Inequality operator.
Definition at line 87 of file transset.h. |
|
Default order for sorting container of Transition (lexographic).
Definition at line 72 of file transset.h. |
|
Equality operator.
Definition at line 82 of file transset.h. |
|
Pretty print to string.
Definition at line 106 of file transset.h. |
|
Test validity (all indices !=0.
Definition at line 92 of file transset.h. |
|
Event.
Definition at line 100 of file transset.h. |
|
Current state.
Definition at line 94 of file transset.h. |
|
Next state.
Definition at line 103 of file transset.h. |