Generated on Thu Oct 26 14:25:49 2006 for Gecode by doxygen 1.4.7

Convexity constraints
[Using finite integer sets]

Collaboration diagram for Convexity constraints:


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 
)

Post propagator that propagates that x is convex.

Definition at line 30 of file convex.cc.

void Gecode::convexHull ( Space *  home,
SetVar  x,
SetVar  y 
)

Post propagator that propagates that y is the convex hull of x.

Definition at line 36 of file convex.cc.