Functions | |
void | Gecode::convex (Home home, SetVar x) |
Post propagator that propagates that x is convex. More... | |
void | Gecode::convex (Home home, SetVar x, SetVar y) |
Post propagator that propagates that y is the convex hull of x. More... | |
Post propagator that propagates that x is convex.
Definition at line 45 of file convex.cpp.
Post propagator that propagates that y is the convex hull of x.
Definition at line 52 of file convex.cpp.