Gecode::Int::GCC::UnReachable Class Reference
List of all members.Detailed Description
Class for computing unreachable values in the value GCC propagator.
Definition at line 32 of file gccbndsup.icc.
Public Attributes | |
unsigned int | minb |
unsigned int | maxb |
unsigned int | eq |
unsigned int | le |
unsigned int | gr |
Member Data Documentation
unsigned int Gecode::Int::GCC::UnReachable::minb |
Definition at line 34 of file gccbndsup.icc.
unsigned int Gecode::Int::GCC::UnReachable::maxb |
Definition at line 35 of file gccbndsup.icc.
unsigned int Gecode::Int::GCC::UnReachable::eq |
Definition at line 36 of file gccbndsup.icc.
unsigned int Gecode::Int::GCC::UnReachable::le |
Definition at line 37 of file gccbndsup.icc.
unsigned int Gecode::Int::GCC::UnReachable::gr |
Definition at line 38 of file gccbndsup.icc.
The documentation for this class was generated from the following file:
- gecode/int/gcc/gccbndsup.icc (Revision: 3512)