Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0

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

#include <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: