|
typedef std::map< INPUT, OUTPUT > | Transitions |
|
|
| FA_base (STATE s, OUTPUT d) |
|
| FA_base (const std::set< STATE > &states, const std::set< INPUT > &inputs, STATE start, STATE deflt) |
|
const std::set< STATE > & | states () const |
|
const std::set< INPUT > & | inputs () const |
|
const Transitions & | transitions (STATE s) const |
|
const STATE | start () const |
|
const OUTPUT | deflt () const |
|
const OUTPUT | next (STATE from, INPUT input) const |
|
void | addState (STATE newState) |
|
void | addInput (INPUT newInput) |
|
void | setTransition (STATE from, INPUT input, OUTPUT to) |
|
|
std::set< STATE > | states_ |
|
std::set< INPUT > | inputs_ |
|
std::map< STATE, Transitions > | transitions_ |
|
const Transitions | noTransitions |
|
STATE | start_ |
|
OUTPUT | default_ |
|
The documentation for this class was generated from the following file: