Generated on Mon Sep 17 2012 22:20:58 for Gecode by doxygen 1.8.1.1
Gecode::Int::Extensional::StateGroup Class Reference

Stategroup is used to compute a partition of states. More...

List of all members.

Public Attributes

int state
int group

Detailed Description

Stategroup is used to compute a partition of states.

Definition at line 111 of file dfa.cpp.


Member Data Documentation

int Gecode::Int::Extensional::StateGroup::state

Definition at line 113 of file dfa.cpp.

int Gecode::Int::Extensional::StateGroup::group

Definition at line 114 of file dfa.cpp.


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