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