Generated on Mon Nov 30 23:53:51 2009 for Gecode by doxygen 1.6.1

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 58 of file bnd-sup.hpp.


Member Data Documentation

Number of variables with lower bound.

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

Number of variables with upper bound.

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

Number of equal variables.

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

Number of smaller variables.

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

Number of greater variables.

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


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