44 #ifndef __GECODE_SET_CONVEX_HH__
45 #define __GECODE_SET_CONVEX_HH__
49 namespace Gecode {
namespace Set {
namespace Convex {
ConvexHull(Space &home, bool share, ConvexHull &)
Constructor for cloning p.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
static ExecStatus post(Home home, SetView x)
Post propagator that propagates that x is convex.
Base-class for both propagators and branchers.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int p
Number of positive literals for node type.
ModEventDelta med
A set of modification events (used during propagation)
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
Set view for set variables
Convex(Space &home, bool share, Convex &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Node * x
Pointer to corresponding Boolean expression node.
static ExecStatus post(Home home, SetView x, SetView y)
Post propagator that propagates that y is the convex hull of x.
Gecode toplevel namespace
Propagator for the convex constraint
int ModEventDelta
Modification event deltas.
Home class for posting propagators
#define GECODE_SET_EXPORT
Propagator for the convex hull constraint