automata::FA_base< STATE, INPUT, OUTPUT > Class Template Reference
#include <automata.h>

Public Types | |
| typedef std::map< INPUT, OUTPUT > | Transitions |
Public Member Functions | |
| FA_base (STATE s, OUTPUT d) | |
| FA_base (const std::set< STATE > &states, const std::set< INPUT > &inputs, STATE start, STATE deflt) | |
| virtual | ~FA_base () |
| 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) |
Protected Attributes | |
| std::set< STATE > | states_ |
| std::set< INPUT > | inputs_ |
| std::map< STATE, Transitions > | transitions_ |
| const Transitions | noTransitions |
| STATE | start_ |
| OUTPUT | default_ |
Detailed Description
template<class STATE, class INPUT, class OUTPUT>
class automata::FA_base< STATE, INPUT, OUTPUT >
Definition at line 21 of file automata.h.
Member Typedef Documentation
| typedef std::map<INPUT, OUTPUT> automata::FA_base< STATE, INPUT, OUTPUT >::Transitions |
Definition at line 27 of file automata.h.
Constructor & Destructor Documentation
| automata::FA_base< STATE, INPUT, OUTPUT >::FA_base | ( | STATE | s, | |
| OUTPUT | d | |||
| ) | [inline] |
Definition at line 50 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::states_.
| automata::FA_base< STATE, INPUT, OUTPUT >::FA_base | ( | const std::set< STATE > & | states, | |
| const std::set< INPUT > & | inputs, | |||
| STATE | start, | |||
| STATE | deflt | |||
| ) | [inline] |
Definition at line 56 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::states_.
| automata::FA_base< STATE, INPUT, OUTPUT >::~FA_base | ( | ) | [inline, virtual] |
Definition at line 191 of file automata.h.
Member Function Documentation
| const std::set< STATE > & automata::FA_base< STATE, INPUT, OUTPUT >::states | ( | ) | const [inline] |
Definition at line 63 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::states_.
| const std::set< INPUT > & automata::FA_base< STATE, INPUT, OUTPUT >::inputs | ( | ) | const [inline] |
Definition at line 69 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::inputs_.
Referenced by automata::NFA< STATE, INPUT >::constructDFA().
| const FA_base< STATE, INPUT, OUTPUT >::Transitions & automata::FA_base< STATE, INPUT, OUTPUT >::transitions | ( | STATE | s | ) | const [inline] |
Definition at line 197 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::noTransitions, tr(), and automata::FA_base< STATE, INPUT, OUTPUT >::transitions_.
Referenced by automata::FA_base< STATE, INPUT, OUTPUT >::next().
| const STATE automata::FA_base< STATE, INPUT, OUTPUT >::start | ( | ) | const [inline] |
Definition at line 75 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::start_.
| const OUTPUT automata::FA_base< STATE, INPUT, OUTPUT >::deflt | ( | ) | const [inline] |
Definition at line 81 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::default_.
Referenced by automata::NFA< STATE, INPUT >::constructDFA().
| const OUTPUT automata::FA_base< STATE, INPUT, OUTPUT >::next | ( | STATE | from, | |
| INPUT | input | |||
| ) | const [inline] |
Definition at line 207 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::default_, tr(), and automata::FA_base< STATE, INPUT, OUTPUT >::transitions().
| void automata::FA_base< STATE, INPUT, OUTPUT >::addState | ( | STATE | newState | ) | [inline] |
Definition at line 215 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::states_.
| void automata::FA_base< STATE, INPUT, OUTPUT >::addInput | ( | INPUT | newInput | ) | [inline] |
Definition at line 223 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::inputs_.
| void automata::FA_base< STATE, INPUT, OUTPUT >::setTransition | ( | STATE | from, | |
| INPUT | input, | |||
| OUTPUT | to | |||
| ) | [inline] |
Definition at line 231 of file automata.h.
References automata::FA_base< STATE, INPUT, OUTPUT >::transitions_.
Member Data Documentation
std::set<STATE> automata::FA_base< STATE, INPUT, OUTPUT >::states_ [protected] |
Definition at line 41 of file automata.h.
Referenced by automata::FA_base< STATE, INPUT, OUTPUT >::addState(), automata::FA_base< STATE, INPUT, OUTPUT >::FA_base(), and automata::FA_base< STATE, INPUT, OUTPUT >::states().
std::set<INPUT> automata::FA_base< STATE, INPUT, OUTPUT >::inputs_ [protected] |
Definition at line 42 of file automata.h.
Referenced by automata::FA_base< STATE, INPUT, OUTPUT >::addInput(), and automata::FA_base< STATE, INPUT, OUTPUT >::inputs().
std::map<STATE, Transitions> automata::FA_base< STATE, INPUT, OUTPUT >::transitions_ [protected] |
Definition at line 43 of file automata.h.
Referenced by automata::NFA< STATE, INPUT >::constructDFA(), automata::FA_base< STATE, INPUT, OUTPUT >::setTransition(), and automata::FA_base< STATE, INPUT, OUTPUT >::transitions().
const Transitions automata::FA_base< STATE, INPUT, OUTPUT >::noTransitions [protected] |
Definition at line 44 of file automata.h.
Referenced by automata::FA_base< STATE, INPUT, OUTPUT >::transitions().
STATE automata::FA_base< STATE, INPUT, OUTPUT >::start_ [protected] |
Definition at line 45 of file automata.h.
Referenced by automata::NFA< STATE, INPUT >::constructDFA(), and automata::FA_base< STATE, INPUT, OUTPUT >::start().
OUTPUT automata::FA_base< STATE, INPUT, OUTPUT >::default_ [protected] |
Definition at line 46 of file automata.h.
Referenced by automata::NFA< STATE, INPUT >::constructDFA(), automata::FA_base< STATE, INPUT, OUTPUT >::deflt(), and automata::FA_base< STATE, INPUT, OUTPUT >::next().
The documentation for this class was generated from the following file:
