Gecode::Int::GCC::HallInfo Class Reference
[Support for GCC bounds propagation]
Container class provding information about the Hall structure of the problem variables. More...
|Represents the union of all lower and upper domain bounds. |
|Critical capacity pointer t represents a predecessor function where denotes the predecessor of i in bounds. |
|Difference between critical capacities. |
|Hall set pointer. |
|Stable Set pointer. |
|Potentially Stable Set pointer. |
|Bound update. |
Container class provding information about the Hall structure of the problem variables.
This class is used to keep the number of different arrays small, that is an array of type HallInfo replaces integer arrays for each of the class members.
Member Data Documentation
The documentation for this class was generated from the following file:
- gecode/int/gcc/bnd-sup.hpp (Revision: 15562)