faudes::Transition Class Reference
|
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. |
Triple (X1,Ev,X2) to represent current state, event and next state.
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 55 of file cfl_transset.h.
faudes::Transition::Transition | ( | void | ) | [inline] |
Construct invalid Transition.
Definition at line 60 of file cfl_transset.h.
Construct from values.
x1 | Index of current state | |
ev | Index of Event | |
x2 | Index of next state |
Definition at line 71 of file cfl_transset.h.
bool faudes::Transition::operator!= | ( | const Transition & | othertrans | ) | const [inline] |
Inequality operator.
Definition at line 90 of file cfl_transset.h.
bool faudes::Transition::operator< | ( | const Transition & | othertrans | ) | const [inline] |
Default order for sorting container of Transition (lexographic).
Definition at line 75 of file cfl_transset.h.
bool faudes::Transition::operator== | ( | const Transition & | othertrans | ) | const [inline] |
Equality operator.
Definition at line 85 of file cfl_transset.h.
std::string faudes::Transition::Str | ( | void | ) | const [inline] |
Pretty print to string.
Definition at line 109 of file cfl_transset.h.
bool faudes::Transition::Valid | ( | void | ) | const [inline] |
Test validity (all indices !=0).
Definition at line 95 of file cfl_transset.h.
Event.
Definition at line 103 of file cfl_transset.h.
Current state.
Definition at line 97 of file cfl_transset.h.
Next state.
Definition at line 106 of file cfl_transset.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen