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

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

#include <gccbndsup.hpp>

List of all members.

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$

Detailed Description

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

Definition at line 172 of file gccbndsup.hpp.

Member Data Documentation

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

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

Definition at line 178 of file gccbndsup.hpp.

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

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

Definition at line 183 of file gccbndsup.hpp.

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

gecode/int/gcc/gccbndsup.hpp (Revision: 8082)


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$