Gecode::ModEvent notify(Gecode::Space &home, Gecode::ModEvent me, Gecode::Delta &d)
Notify that variable implementation has been modified with modification event me and delta informatio...
void subscribe(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned, bool schedule)
Subscribe propagator p with propagation condition pc.
void reschedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned)
Re-schedule propagator p.
Boolean variable implementation.
bool zero(void) const
Test whether variable is assigned to zero.
bool none(void) const
Test whether variable is not yet assigned.
static void schedule(Space &home, Propagator &p, ModEvent me)
Schedule propagator p with modification event me.
bool one(void) const
Test whether variable is assigned to one.
ModEvent one_none(Space &home)
Assign unassigned variable to one.
static const BoolStatus NONE
Status of domain not yet assigned.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p to variable with propagation condition pc.
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p.
static const BoolStatus ZERO
Status of domain assigned to zero.
bool assigned(void) const
Test whether variable is assigned.
ModEvent zero_none(Space &home)
Assign unassigned variable to zero.
static const BoolStatus ONE
Status of domain assigned to one.
Integer delta information for advisors.
Base-class for propagators.
ModEvent fail(Space &home)
unsigned int bits(void) const
const Gecode::ModEvent ME_BOOL_VAL
Domain operation has resulted in a value (assigned variable)
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Gecode toplevel namespace
int PropCond
Type for propagation conditions.
int ModEvent
Type for modification events.