Go to the documentation of this file.
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);
Post propagator for SetVar SetOpType SetVar y
int min(void) const
Return minimum of domain.
bool in(int n) const
Test whether n is contained in domain.
bool none(void) const
Test whether domain is neither zero nor one.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool one(void) const
Test whether variable is assigned to one.
Exception: Attempt to access value of unassigned variable
bool zero(void) const
Test whether variable is assigned to zero.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
bool assigned(void) const
Test whether variable is assigned.
bool range(void) const
Test whether domain is a range.
bool in(int n) const
Test whether n is contained in domain.
BoolVar(void)
Default constructor.
Boolean view for Boolean variables.
bool one(void) const
Test whether domain is one.
Gecode toplevel namespace
Int::BoolVarImp * x
Pointer to variable implementation.
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)
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 variable implementation.
Boolean integer variables.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
unsigned int size(void) const
Return size (cardinality) of domain.
Variables as interfaces to variable implementations.
int max(void) const
Return maximum of domain.
int val(void) const
Return assigned value (only if assigned)
int val(void) const
Return assigned value.
int med(void) const
Return median of domain (greatest element not greater than the median)
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
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 n
Number of negative literals for node type.
bool zero(void) const
Test whether domain is zero.
int min(void) const
Return minimum of domain.
bool none(void) const
Test whether variable is not yet assigned.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
unsigned int size(void) const
Return size (cardinality) of domain.