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