38 namespace Gecode {
namespace Int {
122 return x.
lq(home,n-
c);
126 return x.
lq(home,n-
c);
131 return x.
le(home,n-
c);
135 return x.
le(home,n-
c);
140 return x.
gq(home,n-
c);
144 return x.
gq(home,n-
c);
149 return x.
gr(home,n-
c);
153 return x.
gr(home,n-
c);
158 return x.
nq(home,n-
c);
162 return x.
nq(home,n-
c);
167 return x.
eq(home,n-
c);
171 return x.
eq(home,n-
c);
int val(void) const
Return assigned value (only if assigned)
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
bool before(const CachedView< View > &x, const CachedView< View > &y)
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
ViewRanges(void)
Default constructor.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
int ModEvent
Type for modification events.
Range iterator for integer variable views
int val(void) const
Return assigned value (only if assigned)
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
ModEvent narrow_r(Space &home, I &i, bool depends=true)
Replace domain by ranges described by i.
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.
void init(const View &x)
Initialize with ranges for view x.
Base-class for derived views.
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
Range iterator for integer views.
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
int max(void) const
Return maximum of domain.
bool in(int n) const
Test whether n is contained in domain.
bool same(const CachedView< View > &x, const CachedView< View > &y)
Gecode::FloatVal c(-8, 8)
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
Gecode::IntArgs i(4, 1, 2, 3, 4)
bool in(int n) const
Test whether n is contained in domain.
int n
Number of negative literals for node type.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
ModEvent narrow_v(Space &home, I &i, bool depends=true)
Replace domain by values described by i.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int max(void) const
Return maximum of domain.
ModEvent narrow_v(Space &home, I &i, bool depends=true)
Replace domain by values described by i.
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
View base(void) const
Return view from which this view is derived.
int offset(void) const
Return offset.
unsigned int size(void) const
Return size (cardinality) of domain.
int med(void) const
Return median of domain (greatest element not greater than the median)
OffsetView(void)
Default constructor.
void update(Space &home, bool share, DerivedView< View > &y)
Update this view to be a clone of view y.
int min(void) const
Return minimum of domain.
unsigned int size(void) const
Return size (cardinality) of domain.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
Integer view for integer variables.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int med(void) const
Return median of domain (greatest element not greater than the median)
ModEvent narrow_r(Space &home, I &i, bool depends=true)
Replace domain by ranges described by i.
bool range(void) const
Test whether domain is a range.
IntView x
View from which this view is derived.
void update(Space &home, bool share, OffsetView &y)
Update this view to be a clone of view y.
Gecode toplevel namespace
Value iterator for pointwise offset (by some constant)
Range iterator for pointwise offset (by some constant)
int ModEventDelta
Modification event deltas.
bool range(void) const
Test whether domain is a range.