
Integer delta information for advisors. More...
#include <var-imp.hpp>
Public Member Functions | |
| IntDelta (void) | |
| Create integer delta as providing no information. | |
| IntDelta (int min, int max) | |
| Create integer delta with min and max. | |
| IntDelta (int min) | |
| Create integer delta with min. | |
Integer delta information for advisors.
Note that the same delta information is used for both integer and Boolean variables and views.
Definition at line 55 of file var-imp.hpp.
| Gecode::Int::IntDelta::IntDelta | ( | void | ) | [inline] |
| Gecode::Int::IntDelta::IntDelta | ( | int | min, |
| int | max | ||
| ) | [inline] |
| Gecode::Int::IntDelta::IntDelta | ( | int | min | ) | [inline] |