Hashing for DFAs. More...
Public Member Functions | |
size_t | operator() (const Gecode::DFA &d) const |
Return hash key for d. | |
Hashing for DFAs.
Definition at line 76 of file flatzinc.cpp.
|
inline |
Return hash key for d.
Definition at line 78 of file flatzinc.cpp.