Collaboration diagram for Domain constraints:
|
Functions |
void | Gecode::dom (Space *home, SetVar x, SetRelType r, int i) |
| Propagates .
|
void | Gecode::dom (Space *home, SetVar x, SetRelType r, int i, int j) |
| Propagates .
|
void | Gecode::dom (Space *home, SetVar x, SetRelType r, const IntSet &s) |
| Propagates .
|
void | Gecode::dom (Space *home, SetVar x, SetRelType r, int i, BoolVar b) |
| Post propagator for .
|
void | Gecode::dom (Space *home, SetVar x, SetRelType r, int i, int j, BoolVar b) |
| Post propagator for .
|
void | Gecode::dom (Space *home, SetVar x, SetRelType r, const IntSet &s, BoolVar b) |
| Post propagator for .
|
void | Gecode::cardinality (Space *home, SetVar x, unsigned int i, unsigned int j) |
| Propagates .
|
Function Documentation
void Gecode::dom |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
SetRelType |
r, |
|
|
int |
i | |
|
) |
| | |
Propagates
.
Definition at line 32 of file dom.cc.
void Gecode::dom |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
SetRelType |
r, |
|
|
int |
i, |
|
|
int |
j | |
|
) |
| | |
Propagates
.
Definition at line 38 of file dom.cc.
void Gecode::dom |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
SetRelType |
r, |
|
|
const IntSet & |
is | |
|
) |
| | |
Propagates
.
Definition at line 44 of file dom.cc.
void Gecode::dom |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
SetRelType |
r, |
|
|
int |
i, |
|
|
BoolVar |
b | |
|
) |
| | |
Post propagator for
.
Definition at line 128 of file dom.cc.
void Gecode::dom |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
SetRelType |
r, |
|
|
int |
i, |
|
|
int |
j, |
|
|
BoolVar |
b | |
|
) |
| | |
Post propagator for
.
Definition at line 134 of file dom.cc.
void Gecode::dom |
( |
Space * |
home, |
|
|
SetVar |
s, |
|
|
SetRelType |
r, |
|
|
const IntSet & |
is, |
|
|
BoolVar |
b | |
|
) |
| | |
Post propagator for
.
Definition at line 140 of file dom.cc.
void Gecode::cardinality |
( |
Space * |
home, |
|
|
SetVar |
x, |
|
|
unsigned int |
i, |
|
|
unsigned int |
j | |
|
) |
| | |