41 IntVar::_init(Space& home,
int min,
int max) {
42 x =
new (home) Int::IntVarImp(home,min,max);
46 IntVar::_init(Space& home,
const IntSet& ds) {
47 x =
new (home) Int::IntVarImp(home,ds);
IntVar(void)
Default constructor.
int med(void) const
Return median of domain (greatest element not greater than the median)
unsigned int size(void) const
Return size (cardinality) of domain.
Variables as interfaces to variable implementations.
int max(void) const
Return maximum of domain.
void init(I &i)
Initialize with values from range iterator i.
void max(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)
Range iterator for integer variables
int val(void) const
Return assigned value (only if assigned)
int n
Number of negative literals for node type.
bool assigned(void) const
Test whether variable is assigned.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
IntVarValues(void)
Default constructor.
bool range(void) const
Test whether domain is a range.
Int::IntVarImp * x
Pointer to variable implementation.
unsigned int size(void) const
Return size (cardinality) of domain.
Range iterator for ranges of integer variable implementation.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
void init(const IntVar &x)
Initialize with ranges for integer variable x.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Integer view for integer variables.
void init(const IntVar &x)
Initialize with values x.
Exception: Attempt to access value of unassigned variable
Integer variable implementation.
Node * x
Pointer to corresponding Boolean expression node.
int max(void) const
Return maximum of domain.
int val(void) const
Return assigned value.
bool in(int n) const
Test whether n is contained in domain.
int med(void) const
Return median of domain (greatest element not greater than the median)
IntVarRanges(void)
Default constructor.
Gecode toplevel namespace
int min(void) const
Return minimum of domain.
bool in(int n) const
Test whether n is contained in domain.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
void init(const IntVarImp *x)
Initialize with ranges from variable implementation x.
int min(void) const
Return minimum of domain.
VarImp * varimp(void) const
Return variable implementation of variable.
bool range(void) const
Test whether domain is a range.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)