40 namespace Gecode {
namespace Int {
42 BoolVarImp BoolVarImp::s_one(1);
43 BoolVarImp BoolVarImp::s_zero(0);
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.
bool zero(void) const
Test whether variable is assigned to zero.
static const BoolStatus ONE
Status of domain assigned to one.
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.
Gecode toplevel namespace
unsigned int bits(void) const
Provide access to free bits.
bool one(void) const
Test whether variable is assigned to one.
const Gecode::ModEvent ME_BOOL_VAL
Domain operation has resulted in a value (assigned variable)