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.
bool one(void) const
Test whether variable is assigned to one.
bool none(void) const
Test whether variable is not yet assigned.
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.
unsigned int bits(void) const
Provide access to free bits.
Gecode toplevel namespace
const Gecode::ModEvent ME_BOOL_VAL
Domain operation has resulted in a value (assigned variable)