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 |