Finite set delta information for advisors.
More...
#include <var-imp.hpp>
|
| | 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 52 of file var-imp.hpp.
◆ SetDelta() [1/2]
| Gecode::Set::SetDelta::SetDelta |
( |
void |
| ) |
|
|
inline |
Create set delta as providing no information (if any is true)
Definition at line 39 of file delta.hpp.
◆ SetDelta() [2/2]
| Gecode::Set::SetDelta::SetDelta |
( |
int |
glbMin, |
|
|
int |
glbMax, |
|
|
int |
lubMin, |
|
|
int |
lubMax |
|
) |
| |
|
inline |
Create set delta with min and max.
Definition at line 42 of file delta.hpp.
◆ glbMin()
| int Gecode::Set::SetDelta::glbMin |
( |
void |
| ) |
const |
|
inline |
Return glb minimum.
Definition at line 48 of file delta.hpp.
◆ glbMax()
| int Gecode::Set::SetDelta::glbMax |
( |
void |
| ) |
const |
|
inline |
Return glb maximum.
Definition at line 52 of file delta.hpp.
◆ lubMin()
| int Gecode::Set::SetDelta::lubMin |
( |
void |
| ) |
const |
|
inline |
Return lub minimum.
Definition at line 56 of file delta.hpp.
◆ lubMax()
| int Gecode::Set::SetDelta::lubMax |
( |
void |
| ) |
const |
|
inline |
Return lub maximum.
Definition at line 60 of file delta.hpp.
◆ glbAny()
| bool Gecode::Set::SetDelta::glbAny |
( |
void |
| ) |
const |
|
inline |
Test whether delta represents any domain change in glb.
Definition at line 64 of file delta.hpp.
◆ lubAny()
| bool Gecode::Set::SetDelta::lubAny |
( |
void |
| ) |
const |
|
inline |
Test whether delta represents any domain change in lub.
Definition at line 68 of file delta.hpp.
The documentation for this class was generated from the following files: