Collaboration diagram for Distinctness constraints:
|
Functions |
void | Gecode::atmostOne (Space *home, const SetVarArgs &x, unsigned int c) |
| Post propagator for and .
|
void | Gecode::distinct (Space *home, const SetVarArgs &x, unsigned int c) |
| Post propagator for and .
|
Function Documentation
void Gecode::atmostOne |
( |
Space * |
home, |
|
|
const SetVarArgs & |
xa, |
|
|
unsigned int |
c | |
|
) |
| | |
Post propagator for
and
.
Definition at line 29 of file distinct.cc.
void Gecode::distinct |
( |
Space * |
home, |
|
|
const SetVarArgs & |
xa, |
|
|
unsigned int |
c | |
|
) |
| | |
Post propagator for
and
.
Definition at line 38 of file distinct.cc.