42 template<
class A,
class B,
class C>
47 template<
class A,
class B,
class C>
52 template<
class A,
class B,
class C>
58 template<
class A,
class B,
class C>
67 template<
class A,
class B,
class C>
73 if (!
x2.assigned() || (
x2.val() != 0.0))
Base-class for both propagators and branchers.
virtual Actor * copy(Space &home)
Create copy during cloning.
Div(Space &home, Div &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, A x0, B x1, C x2)
Post propagator for .
Home class for posting propagators
MixTernaryPropagator(Space &home, MixTernaryPropagator &p)
ExecStatus ES_SUBSUMED(Propagator &p)
Propagator p is subsumed
int ModEventDelta
Modification event deltas.
#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
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.
@ ES_NOFIX
Propagation has not computed fixpoint.