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

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

#include <gecode/int/gcc/bnd-sup.hpp>

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 154 of file bnd-sup.hpp.

Member Data Documentation

min

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

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

Definition at line 160 of file bnd-sup.hpp.

max

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

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

Definition at line 165 of file bnd-sup.hpp.

---

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

• gecode/int/gcc/bnd-sup.hpp