Convexity constraints
[Using finite integer sets]
Functions | |
void | Gecode::convex (Home home, SetVar x) |
Post propagator that propagates that x is convex. | |
void | Gecode::convex (Home home, SetVar x, SetVar y) |
Post propagator that propagates that y is the convex hull of x. |
Function Documentation
void Gecode::convex | ( | Home | home, | |
SetVar | x | |||
) |
Post propagator that propagates that x is convex.
void Gecode::convex | ( | Home | home, | |
SetVar | x, | |||
SetVar | y | |||
) |
Post propagator that propagates that y is the convex hull of x.