Convexity constraints
[Using finite integer sets]
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
|
||||||||||||
|
Post propagator that propagates that x is convex.
|
|
||||||||||||||||
|
Post propagator that propagates that y is the convex hull of x.
|