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

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

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

#include <bnd-sup.hpp>

List of all members.

Public Attributes

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

Detailed Description

Class for computing unreachable values in the value GCC propagator.

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


Member Data Documentation

Number of variables with lower bound.

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

Number of variables with upper bound.

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

Number of equal variables.

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

Number of smaller variables.

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

Number of greater variables.

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


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