Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1

Class for computing unreachable values in the value GCC propagator. More...

#include <bnd-sup.hpp>

Public Attributes

int minb
 Number of variables with lower bound. More...
 
int maxb
 Number of variables with upper bound. More...
 
int eq
 Number of equal variables. More...
 
int le
 Number of smaller variables. More...
 
int gr
 Number of greater variables. More...
 

Detailed Description

Class for computing unreachable values in the value GCC propagator.

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

Member Data Documentation

int Gecode::Int::GCC::UnReachable::minb

Number of variables with lower bound.

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

int Gecode::Int::GCC::UnReachable::maxb

Number of variables with upper bound.

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

int Gecode::Int::GCC::UnReachable::eq

Number of equal variables.

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

int Gecode::Int::GCC::UnReachable::le

Number of smaller variables.

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

int Gecode::Int::GCC::UnReachable::gr

Number of greater variables.

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


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