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.
Gecode::Int::IntDelta::IntDelta | ( | void | ) | [inline] |
Gecode::Int::IntDelta::IntDelta | ( | int | min, |
int | max | ||
) | [inline] |
Gecode::Int::IntDelta::IntDelta | ( | int | min | ) | [inline] |