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
|
Definition at line 34 of file gccbndsup.icc. |
|
Definition at line 35 of file gccbndsup.icc. |
|
Definition at line 36 of file gccbndsup.icc. |
|
Definition at line 37 of file gccbndsup.icc. |
|
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)