Generated on Sat Oct 24 2015 23:20:12 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: