38 namespace Gecode {
namespace Int {
120 return x->
lq(home,n);
124 return x->
lq(home,n);
129 return x->
lq(home,n-1);
133 return x->
lq(home,n-1);
138 return x->
gq(home,n);
142 return x->
gq(home,n);
147 return x->
gq(home,n+1);
151 return x->
gq(home,n+1);
156 return x->
nq(home,n);
160 return x->
nq(home,n);
165 return x->
eq(home,n);
169 return x->
eq(home,n);
242 return x->
zero(home);
305 : Iter::Ranges::Singleton(x.
min(),x.
max()) {}
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
bool none(void) const
Test whether view is not yet assigned.
int max(void) const
Return maximum of domain.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
Range iterator for singleton range.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
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)
unsigned int size(void) const
Return size (cardinality) of domain.
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
int min(void) const
Return minimum of domain.
unsigned int BoolStatus
Type for status of a Boolean variable.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
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.
ViewRanges(void)
Default constructor.
ModEvent zero_none(Space &home)
Assign unassigned variable to zero.
int min(void) const
Return minimum of domain.
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
int ModEvent
Type for modification events.
bool zero(void) const
Test whether variable is assigned to zero.
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
static bool any(const Delta &d)
Test whether arbitrary values got pruned.
bool range(void) const
Test whether domain is a range.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
void init(const View &x)
Initialize with ranges for view x.
BoolView(void)
Default constructor.
Range iterator for integer views.
Boolean variable implementation.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
bool one(void) const
Test whether variable is assigned to one.
BoolStatus status(void) const
Return current domain status.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
ModEvent zero_none(Space &home)
Assign not yet assigned view to zero.
void init(int min, int max)
Initialize with range min to max.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
bool none(void) const
Test whether variable is not yet assigned.
BoolStatus status(void) const
Return current domain status.
Base-class for variable implementation views.
ModEvent narrow_v(Space &home, I &i, bool depends=true)
Replace domain by values described by i.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
bool in(int n) const
Test whether n is contained in domain.
Boolean integer variables.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
bool one(void) const
Test whether view is assigned to be one.
bool range(void) const
Test whether domain is a range.
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
ModEvent one_none(Space &home)
Assign unassigned variable to one.
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
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)
int val(void) const
Return assigned value (only if assigned)
int val(void) const
Return assigned value (only if assigned)
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
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)
Gecode toplevel namespace
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
int max(void) const
Return maximum of domain.
ModEvent one_none(Space &home)
Assign not yet assigned view to one.
bool zero(void) const
Test whether view is assigned to be zero.
ModEvent narrow_v(Space &home, I &i, bool depends=true)
Replace domain by values described by i.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
VarImpType * x
Pointer to variable implementation.
int ModEventDelta
Modification event deltas.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
ModEvent narrow_r(Space &home, I &i, bool depends=true)
Replace domain by ranges described by i.
Boolean view for Boolean variables.
ModEvent narrow_r(Space &home, I &i, bool depends=true)
Replace domain by ranges described by i.