
Maps domain bounds to their position in hall[].bounds. More...
#include <bnd-sup.hpp>
Public Attributes | |
| int | min |
![]() | |
| int | max |
![]() | |
Maps domain bounds to their position in hall[].bounds.
Definition at line 154 of file bnd-sup.hpp.
| int Gecode::Int::GCC::Rank::min |
![$ rank[i].min = z
\Leftrightarrow min(x_i) = hall[z].bounds $](form_352.png)
Definition at line 160 of file bnd-sup.hpp.
| int Gecode::Int::GCC::Rank::max |
![$ rank[i].max = z
\Leftrightarrow max(x_i) = hall[z].bounds $](form_353.png)
Definition at line 165 of file bnd-sup.hpp.