Connection constraints to finite domain variables
[Using finite integer sets]
Collaboration diagram for Connection constraints to finite domain variables:
|
Functions |
void | Gecode::min (Space *home, SetVar s, IntVar x) |
| Post propagator that propagates that x is the minimal element of s.
|
void | Gecode::max (Space *home, SetVar s, IntVar x) |
| Post propagator that propagates that x is the maximal element of s.
|
void | Gecode::match (Space *home, SetVar s, const IntVarArgs &x) |
| Post propagator that propagates that s contains the , which are sorted in non-descending order.
|
void | Gecode::channel (Space *home, const IntVarArgs &x, const SetVarArgs &y) |
| Post propagator for .
|
void | Gecode::cardinality (Space *home, SetVar s, IntVar x) |
| Post propagator for .
|
void | Gecode::weights (Space *home, const IntArgs &elements, const IntArgs &weights, SetVar x, IntVar y) |
| Post propagator for .
|
Function Documentation
void Gecode::min |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
IntVar |
x | |
|
) |
| | |
Post propagator that propagates that x is the minimal element of s.
Definition at line 103 of file int.cc.
void Gecode::max |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
IntVar |
x | |
|
) |
| | |
Post propagator that propagates that x is the maximal element of s.
Definition at line 108 of file int.cc.
void Gecode::match |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
const IntVarArgs & |
x | |
|
) |
| | |
Post propagator that propagates that s contains the
, which are sorted in non-descending order.
Definition at line 114 of file int.cc.
Post propagator for
.
Definition at line 121 of file int.cc.
void Gecode::cardinality |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
IntVar |
x | |
|
) |
| | |
void Gecode::weights |
( |
Space * |
home, |
|
|
const IntArgs & |
elements, |
|
|
const IntArgs & |
weights, |
|
|
SetVar |
x, |
|
|
IntVar |
y | |
|
) |
| | |
Post propagator for
.
The weights are given as pairs of elements and their weight: 
The upper bound of x is constrained to contain only elements from elements. The weight of a set is the sum of the weights of its elements.
Definition at line 128 of file int.cc.