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