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