Set operation/relation constraints
[Using finite integer sets]
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 .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
Definition at line 36 of file rel-op-const.cc. |
|
Post propagator for .
Definition at line 43 of file rel-op-const.cc. |
|
Post propagator for .
Definition at line 126 of file rel-op-const.cc. |
|
Post propagator for .
Definition at line 133 of file rel-op-const.cc. |
|
Post propagator for .
Definition at line 141 of file rel-op-const.cc. |
|
Post propagator for .
Definition at line 149 of file rel-op-const.cc. |