Gecode::Int::GCC::UnReachable Class Reference
Class for computing unreachable values in the value GCC propagator. More...
#include <gccbndsup.hpp>
Public Attributes | |
| unsigned int | minb |
| unsigned int | maxb |
| unsigned int | eq |
| unsigned int | le |
| unsigned int | gr |
Detailed Description
Class for computing unreachable values in the value GCC propagator.Definition at line 48 of file gccbndsup.hpp.
Member Data Documentation
| unsigned int Gecode::Int::GCC::UnReachable::minb |
Definition at line 50 of file gccbndsup.hpp.
| unsigned int Gecode::Int::GCC::UnReachable::maxb |
Definition at line 51 of file gccbndsup.hpp.
| unsigned int Gecode::Int::GCC::UnReachable::eq |
Definition at line 52 of file gccbndsup.hpp.
| unsigned int Gecode::Int::GCC::UnReachable::le |
Definition at line 53 of file gccbndsup.hpp.
| unsigned int Gecode::Int::GCC::UnReachable::gr |
Definition at line 54 of file gccbndsup.hpp.
The documentation for this class was generated from the following file:
- gecode/int/gcc/gccbndsup.hpp (Revision: 8082)