40 namespace Gecode {
namespace Int {
42 BoolVarImp BoolVarImp::s_one(1);
43 BoolVarImp BoolVarImp::s_zero(0);
void reschedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned)
Re-schedule propagator p.
static const BoolStatus NONE
Status of domain not yet assigned.
ModEvent zero_none(Space &home)
Assign unassigned variable to zero.
int ModEvent
Type for modification events.
Base-class for propagators.
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p.
bool zero(void) const
Test whether variable is assigned to zero.
bool assigned(void) const
Test whether variable is assigned.
static const BoolStatus ONE
Status of domain assigned to one.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
int p
Number of positive literals for node type.
int PropCond
Type for propagation conditions.
void subscribe(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned, bool schedule)
Subscribe propagator p with propagation condition pc.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p to variable with propagation condition pc.
static const BoolStatus ZERO
Status of domain assigned to zero.
Integer delta information for advisors.
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...
ModEvent one_none(Space &home)
Assign unassigned variable to one.
bool none(void) const
Test whether variable is not yet assigned.
ModEvent fail(Space &home)
Run advisors to be run on failure and returns ME_GEN_FAILED.
Gecode toplevel namespace
static void schedule(Space &home, Propagator &p, ModEvent me)
Schedule propagator p with modification event me.
unsigned int bits(void) const
Provide access to free bits.
bool one(void) const
Test whether variable is assigned to one.
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
const Gecode::ModEvent ME_BOOL_VAL
Domain operation has resulted in a value (assigned variable)