41 BoolVar::_init(Space& home,
int min,
int max) {
44 x = &Int::BoolVarImp::s_one;
46 x = &Int::BoolVarImp::s_zero;
48 x =
new (home) Int::BoolVarImp(home,0,1);
int min(void) const
Return minimum of domain.
bool range(void) const
Test whether domain is a range.
Variables as interfaces to variable implementations.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
bool in(int n) const
Test whether n is contained in domain.
bool in(int n) const
Test whether n is contained in domain.
unsigned int size(void) const
Return size (cardinality) of domain.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
unsigned int size(void) const
Return size (cardinality) of domain.
int med(void) const
Return median of domain (greatest element not greater than the median)
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
bool zero(void) const
Test whether variable is assigned to zero.
bool one(void) const
Test whether domain is one.
bool assigned(void) const
Test whether variable is assigned.
Boolean variable implementation.
int min(void) const
Return minimum of domain.
int n
Number of negative literals for node type.
BoolVar(void)
Default constructor.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
Int::BoolVarImp * x
Pointer to variable implementation.
int max(void) const
Return maximum of domain.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
Boolean integer variables.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar SetOpType SetVar y
Exception: Attempt to access value of unassigned variable
bool range(void) const
Test whether domain is a range.
bool none(void) const
Test whether variable is not yet assigned.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
int val(void) const
Return assigned value (only if assigned)
bool zero(void) const
Test whether domain is zero.
Gecode toplevel namespace
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
bool none(void) const
Test whether domain is neither zero nor one.
int max(void) const
Return maximum of domain.
int med(void) const
Return median of domain (greatest element not greater than the median)
bool one(void) const
Test whether variable is assigned to one.
int val(void) const
Return assigned value.
Boolean view for Boolean variables.