Collaboration diagram for Convexity constraints:
|
Functions |
void | Gecode::convex (Space *home, SetVar x) |
| Post propagator that propagates that x is convex.
|
void | Gecode::convexHull (Space *home, SetVar x, SetVar y) |
| Post propagator that propagates that y is the convex hull of x.
|
Function Documentation
void Gecode::convex |
( |
Space * |
home, |
|
|
SetVar |
x | |
|
) |
| | |
Post propagator that propagates that x is convex.
Definition at line 30 of file convex.cc.
void Gecode::convexHull |
( |
Space * |
home, |
|
|
SetVar |
x, |
|
|
SetVar |
y | |
|
) |
| | |
Post propagator that propagates that y is the convex hull of x.
Definition at line 36 of file convex.cc.