Collaboration diagram for Set operation/relation constraints:
|
Functions |
void | Gecode::rel (Space *home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
| Post propagator for .
|
void | Gecode::rel (Space *home, SetOpType op, const SetVarArgs &x, SetVar y) |
| Post propagator for .
|
void | Gecode::rel (Space *home, SetOpType op, const IntVarArgs &x, SetVar y) |
| Post propagator for .
|
void | Gecode::rel (Space *home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
| Post propagator for .
|
void | Gecode::rel (Space *home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, SetVar z) |
| Post propagator for .
|
void | Gecode::rel (Space *home, SetVar x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
| Post propagator for .
|
void | Gecode::rel (Space *home, const IntSet &x, SetOpType op, const IntSet &y, SetRelType r, SetVar z) |
| Post propagator for .
|
void | Gecode::rel (Space *home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
| Post propagator for .
|
void | Gecode::rel (Space *home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, const IntSet &z) |
| Post propagator for .
|
Function Documentation
Post propagator for
.
Definition at line 36 of file rel-op.cc.
Post propagator for
.
Definition at line 41 of file rel-op.cc.
Post propagator for
.
Definition at line 66 of file rel-op.cc.
void Gecode::rel |
( |
Space * |
home, |
|
|
const IntSet & |
x, |
|
|
SetOpType |
op, |
|
|
SetVar |
y, |
|
|
SetRelType |
r, |
|
|
SetVar |
z | |
|
) |
| | |
void Gecode::rel |
( |
Space * |
home, |
|
|
SetVar |
x, |
|
|
SetOpType |
op, |
|
|
const IntSet & |
y, |
|
|
SetRelType |
r, |
|
|
SetVar |
z | |
|
) |
| | |
void Gecode::rel |
( |
Space * |
home, |
|
|
SetVar |
x, |
|
|
SetOpType |
op, |
|
|
SetVar |
y, |
|
|
SetRelType |
r, |
|
|
const IntSet & |
z | |
|
) |
| | |
void Gecode::rel |
( |
Space * |
home, |
|
|
const IntSet & |
x, |
|
|
SetOpType |
op, |
|
|
const IntSet & |
y, |
|
|
SetRelType |
r, |
|
|
SetVar |
z | |
|
) |
| | |
void Gecode::rel |
( |
Space * |
home, |
|
|
const IntSet & |
x, |
|
|
SetOpType |
op, |
|
|
SetVar |
y, |
|
|
SetRelType |
r, |
|
|
const IntSet & |
z | |
|
) |
| | |
void Gecode::rel |
( |
Space * |
home, |
|
|
SetVar |
x, |
|
|
SetOpType |
op, |
|
|
const IntSet & |
y, |
|
|
SetRelType |
r, |
|
|
const IntSet & |
z | |
|
) |
| | |