40 x = &Int::BoolVarImp::s_one;
42 x = &Int::BoolVarImp::s_zero;
44 x =
new (home) Int::BoolVarImp(home,0,1);
86 return x->regret_min();
90 return x->regret_max();
bool one(void) const
Test whether domain is one.
unsigned int size(void) const
Return size (cardinality) of domain.
int val(void) const
Return assigned value.
bool zero(void) const
Test whether domain is zero.
int max(void) const
Return maximum of domain.
int med(void) const
Return median of domain (greatest element not greater than the median)
bool in(int n) const
Test whether n is contained in domain.
BoolVar(void)
Default constructor.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
int min(void) const
Return minimum of domain.
bool none(void) const
Test whether domain is neither zero nor one.
bool range(void) const
Test whether domain is a range.
Boolean variable implementation.
Boolean view for Boolean variables.
Exception: Attempt to access value of unassigned variable
Int::BoolVarImp * varimp(void) const
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar SetOpType SetVar y
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .