Stategroup is used to compute a partition of states.
More...
Stategroup is used to compute a partition of states.
Definition at line 111 of file dfa.cpp.
int Gecode::Int::Extensional::StateGroup::state |
int Gecode::Int::Extensional::StateGroup::group |
The documentation for this class was generated from the following file: