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. |
void Gecode::convex | ( | Home | home, |
SetVar | x | ||
) |
Post propagator that propagates that x is convex.
Definition at line 45 of file convex.cpp.
void Gecode::convex | ( | Home | home, |
SetVar | x, | ||
SetVar | y | ||
) |
Post propagator that propagates that y is the convex hull of x.
Definition at line 52 of file convex.cpp.