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 42 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 44 of file gccbndsup.icc.
unsigned int Gecode::Int::GCC::UnReachable::maxb |
Definition at line 45 of file gccbndsup.icc.
unsigned int Gecode::Int::GCC::UnReachable::eq |
Definition at line 46 of file gccbndsup.icc.
unsigned int Gecode::Int::GCC::UnReachable::le |
Definition at line 47 of file gccbndsup.icc.
unsigned int Gecode::Int::GCC::UnReachable::gr |
Definition at line 48 of file gccbndsup.icc.
The documentation for this class was generated from the following file:
- gecode/int/gcc/gccbndsup.icc (Revision: 3289)