Convexity constraints
[Using finite integer sets]
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 | |||
) |
void Gecode::convexHull | ( | Space * | home, | |
SetVar | x, | |||
SetVar | y | |||
) |