Finite set delta information for advisors. More...
#include <var-imp.hpp>
Public Member Functions | |
SetDelta (void) | |
Create set delta as providing no information (if any is true) | |
SetDelta (int glbMin, int glbMax, int lubMin, int lubMax) | |
Create set delta with min and max. | |
int | glbMin (void) const |
Return glb minimum. | |
int | glbMax (void) const |
Return glb maximum. | |
int | lubMin (void) const |
Return lub minimum. | |
int | lubMax (void) const |
Return lub maximum. | |
bool | glbAny (void) const |
Test whether delta represents any domain change in glb. | |
bool | lubAny (void) const |
Test whether delta represents any domain change in lub. |
Finite set delta information for advisors.
Definition at line 56 of file var-imp.hpp.
Gecode::Set::SetDelta::SetDelta | ( | void | ) | [inline] |
Gecode::Set::SetDelta::SetDelta | ( | int | glbMin, |
int | glbMax, | ||
int | lubMin, | ||
int | lubMax | ||
) | [inline] |
int Gecode::Set::SetDelta::glbMin | ( | void | ) | const [inline] |
int Gecode::Set::SetDelta::glbMax | ( | void | ) | const [inline] |
int Gecode::Set::SetDelta::lubMin | ( | void | ) | const [inline] |
int Gecode::Set::SetDelta::lubMax | ( | void | ) | const [inline] |
bool Gecode::Set::SetDelta::glbAny | ( | void | ) | const [inline] |
bool Gecode::Set::SetDelta::lubAny | ( | void | ) | const [inline] |