Collaboration diagram for Relation constraints:
|
Functions |
void | Gecode::rel (Space *home, SetVar x, SetRelType r, SetVar y) |
| Post propagator for .
|
void | Gecode::rel (Space *home, SetVar x, SetRelType r, SetVar y, BoolVar b) |
| Post propagator for .
|
void | Gecode::rel (Space *home, SetVar s, SetRelType r, IntVar x) |
| Post propagator for .
|
void | Gecode::rel (Space *home, IntVar x, SetRelType r, SetVar s) |
| Post propagator for .
|
void | Gecode::rel (Space *home, SetVar s, SetRelType r, IntVar x, BoolVar b) |
| Post propagator for .
|
void | Gecode::rel (Space *home, IntVar x, SetRelType r, SetVar s, BoolVar b) |
| Post propagator for .
|
void | Gecode::rel (Space *home, SetVar s, IntRelType r, IntVar x) |
| Post propagator for .
|
void | Gecode::rel (Space *home, IntVar x, IntRelType r, SetVar s) |
| Post propagator for .
|
Function Documentation
void Gecode::rel |
( |
Space * |
home, |
|
|
SetVar |
x, |
|
|
SetRelType |
r, |
|
|
SetVar |
y | |
|
) |
| | |
Post propagator for
.
Definition at line 148 of file rel.cc.
void Gecode::rel |
( |
Space * |
home, |
|
|
SetVar |
x, |
|
|
SetRelType |
r, |
|
|
SetVar |
y, |
|
|
BoolVar |
b | |
|
) |
| | |
Post propagator for
.
Definition at line 174 of file rel.cc.
void Gecode::rel |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
SetRelType |
r, |
|
|
IntVar |
x | |
|
) |
| | |
Post propagator for
.
Definition at line 153 of file rel.cc.
void Gecode::rel |
( |
Space * |
home, |
|
|
IntVar |
x, |
|
|
SetRelType |
r, |
|
|
SetVar |
s | |
|
) |
| | |
Post propagator for
.
Definition at line 160 of file rel.cc.
void Gecode::rel |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
SetRelType |
r, |
|
|
IntVar |
x, |
|
|
BoolVar |
b | |
|
) |
| | |
Post propagator for
.
Definition at line 179 of file rel.cc.
void Gecode::rel |
( |
Space * |
home, |
|
|
IntVar |
x, |
|
|
SetRelType |
r, |
|
|
SetVar |
s, |
|
|
BoolVar |
b | |
|
) |
| | |
Post propagator for
.
Definition at line 186 of file rel.cc.
void Gecode::rel |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
IntRelType |
r, |
|
|
IntVar |
x | |
|
) |
| | |
Post propagator for
.
Definition at line 34 of file int.cc.
void Gecode::rel |
( |
Space * |
home, |
|
|
IntVar |
x, |
|
|
IntRelType |
r, |
|
|
SetVar |
s | |
|
) |
| | |
Post propagator for
.
Definition at line 90 of file int.cc.