37 BoolVar::_init(Space& home,
int min,
int max) {
40 x = &Int::BoolVarImp::s_one;
42 x = &Int::BoolVarImp::s_zero;
44 x =
new (home) Int::BoolVarImp(home,0,1);
int n
Number of negative literals for node type.
Boolean integer variables.
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.
bool zero(void) const
Test whether variable is assigned to zero.
unsigned int size(void) const
Return size (cardinality) of domain.
bool none(void) const
Test whether variable is not yet assigned.
int max(void) const
Return maximum of domain.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
bool one(void) const
Test whether variable is assigned to one.
int min(void) const
Return minimum of domain.
int med(void) const
Return median of domain (greatest element not greater than the median)
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
bool assigned(void) const
Test whether variable is assigned.
bool in(int n) const
Test whether n is contained in domain.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
bool range(void) const
Test whether domain is a range.
int val(void) const
Return assigned value (only if assigned)
Boolean view for Boolean variables.
Exception: Attempt to access value of unassigned variable
Variables as interfaces to variable implementations.
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 .