Gecode::DFA::DFAI::HashEntry Class Reference
Specification of transition range. More...
#include <dfa.hpp>
Public Attributes | |
| int | symbol |
| Symbol. | |
| const Transition * | fst |
| First transition for the symbol. | |
| const Transition * | lst |
| Last transition for the symbol. | |
Detailed Description
Specification of transition range.
Definition at line 61 of file dfa.hpp.
Member Data Documentation
The documentation for this class was generated from the following file:
- gecode/int/extensional/dfa.hpp
