Gecode::Int::Distinct::Rank Class Reference

List of all members.

---

Detailed Description

Rank information.

Definition at line 97 of file bnd.icc.

Public Attributes
int	min
int	max

---

Member Data Documentation

int Gecode::Int::Distinct::Rank::min

Definition at line 99 of file bnd.icc.

int Gecode::Int::Distinct::Rank::max

Definition at line 99 of file bnd.icc.

---

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

• gecode/int/distinct/bnd.icc (Revision: 6017)