Gecode::Int::Extensional::GroupStates Class Reference
GroupStates is used to index StateGroup by group More...
Public Attributes | |
StateGroup * | fst |
StateGroup * | lst |
Detailed Description
Member Data Documentation
The documentation for this class was generated from the following file:
- gecode/int/extensional/dfa.cpp (Revision: 9773)