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