Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::Extensional::GroupStates Class Reference

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

Public Attributes

StateGroupfst
 
StateGrouplst
 

Detailed Description

GroupStates is used to index StateGroup by group

Definition at line 137 of file dfa.cpp.

Member Data Documentation

StateGroup* Gecode::Int::Extensional::GroupStates::fst

Definition at line 139 of file dfa.cpp.

StateGroup* Gecode::Int::Extensional::GroupStates::lst

Definition at line 140 of file dfa.cpp.


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