40 namespace Gecode {
namespace Set {
namespace Convex {
57 (void)
new (home)
Convex(home,
x);
int p
Number of positive literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Home class for posting propagators
Propagator for the convex constraint
Convex(Space &home, Convex &p)
Constructor for cloning p.
Set view for set variables
@ ES_OK
Execution is okay.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.