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