Gecode::Int::Extensional::StateGroup Class Reference

List of all members.

---

Detailed Description

Stategroup is used to compute a partition of states.

Definition at line 111 of file dfa.cc.

Public Attributes
int	state
int	group

---

Member Data Documentation

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

Definition at line 113 of file dfa.cc.

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

Definition at line 114 of file dfa.cc.

---

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

• gecode/int/extensional/dfa.cc (Revision: 7288)