40namespace Gecode {
namespace Set {
namespace Convex {
int p
Number of positive literals for node type.
Home class for posting propagators
Propagator for the convex hull constraint
ConvexHull(Space &home, ConvexHull &)
Constructor for cloning p.
static ExecStatus post(Home home, SetView x, SetView y)
Post propagator that propagates that y is the convex hull of x.
Set view for set variables
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
@ ES_OK
Execution is okay.
Post propagator for SetVar x