
Specification of transition range. More...
#include <dfa.hpp>
Public Attributes | |
| int | symbol |
| Symbol. More... | |
| const Transition * | fst |
| First transition for the symbol. More... | |
| const Transition * | lst |
| Last transition for the symbol. More... | |
| const Transition* Gecode::DFA::DFAI::HashEntry::fst |
| const Transition* Gecode::DFA::DFAI::HashEntry::lst |