Generated on Thu Apr 11 14:00:02 2019 for Gecode by doxygen 1.6.3

Gecode::Int::GCC::Rank Class Reference
[Support for GCC bounds propagation]

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

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


Member Data Documentation

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

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

$ 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: