Integer delta information for advisors. More...
#include <var-imp.hpp>
Public Member Functions | |
IntDelta (void) | |
Create integer delta as providing no information. More... | |
IntDelta (int min, int max) | |
Create integer delta with min and max. More... | |
IntDelta (int min) | |
Create integer delta with min. More... | |
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.
|
inline |
|
inline |
|
inline |