libvata2
[unstable] git snapshot
|
A transition. More...
#include <nfa.hh>
Public Member Functions | |
Trans () | |
Trans (State src, Symbol symb, State tgt) | |
bool | operator== (const Trans &rhs) const |
bool | operator!= (const Trans &rhs) const |
Public Attributes | |
State | src |
Symbol | symb |
State | tgt |
|
inline |
Definition at line 73 of file nfa.hh.
References Trans::operator==().
|
inline |
Definition at line 69 of file nfa.hh.
References Trans::src, Trans::symb, and Trans::tgt.
Referenced by Trans::operator!=().
State src |
Definition at line 62 of file nfa.hh.
Referenced by hash< Vata2::Nfa::Trans >::operator()(), and Trans::operator==().
Symbol symb |
Definition at line 63 of file nfa.hh.
Referenced by hash< Vata2::Nfa::Trans >::operator()(), and Trans::operator==().
State tgt |
Definition at line 64 of file nfa.hh.
Referenced by hash< Vata2::Nfa::Trans >::operator()(), and Trans::operator==().