Gecode::Int::GCC::Rank

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

Detailed Description

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

Definition at line 31 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 37 of file gccbndsup.icc.

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

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

Definition at line 42 of file gccbndsup.icc.

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

int/gcc/gccbndsup.icc (Revision: 2696)


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$