Generated on Mon Aug 25 11:35:51 2008 for Gecode by doxygen 1.5.6
Gecode::Int::GCC::Rank

Gecode::Int::GCC::Rank Class Reference

List of all members.

Detailed Description

Maps domain bounds to their position in hall[].bounds.

Definition at line 176 of file gccbndsup.icc.


Public Attributes

int min
 $ rank[i].min = z \Leftrightarrow min(x_i) = hall[z].bounds $
int max
 $ rank[i].max = z \Leftrightarrow max(x_i) = hall[z].bounds $

Member Data Documentation

int Gecode::Int::GCC::Rank::min

$ rank[i].min = z \Leftrightarrow min(x_i) = hall[z].bounds $

Definition at line 182 of file gccbndsup.icc.

int Gecode::Int::GCC::Rank::max

$ rank[i].max = z \Leftrightarrow max(x_i) = hall[z].bounds $

Definition at line 187 of file gccbndsup.icc.

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