42 template<
class A,
class B>
47 template<
class A,
class B>
52 template<
class A,
class B>
58 template<
class A,
class B>
67 template<
class A,
class B>
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
ExecStatus ES_SUBSUMED(Propagator &p)
Propagation has computed fixpoint.
const int max
Largest allowed integer value.
const int min
Smallest allowed integer value.
Base-class for both propagators and branchers.
int p
Number of positive literals for node type.
Propagator for bounds consistent integer part operator
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators