Generated on Fri Oct 19 11:26:10 2018 for Gecode by doxygen 1.6.3

Gecode::Int::Extensional::GroupStates Class Reference

GroupStates is used to index StateGroup by group More...

List of all members.

Public Attributes

StateGroupfst
StateGrouplst

Detailed Description

GroupStates is used to index StateGroup by group

Definition at line 133 of file dfa.cpp.


Member Data Documentation


The documentation for this class was generated from the following file: