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