Relation constraints
[Using finite integer sets]
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
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|