Generated on Fri Feb 10 2017 16:50:57 for Gecode by doxygen 1.8.13
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

◆ fst

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

Definition at line 139 of file dfa.cpp.

◆ lst

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: