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