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);
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.
bool in(int n) const
Test whether n is contained in domain.
int val(void) const
Return assigned value (only if assigned)
View base(void) const
Return view from which this view is derived.
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
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.
ViewRanges(void)
Default constructor.
int min(void) const
Return minimum of domain.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
int ModEvent
Type for modification events.
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)
Range iterator for integer variable views
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.
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.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
int val(void) const
Return assigned value (only if assigned)
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
bool same(const OffsetView &x, const OffsetView &y)
Test whether views x and y are the same.
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.
unsigned int size(void) const
Return size (cardinality) 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.
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.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
int min(void) const
Return minimum of 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.
bool range(void) const
Test whether domain is a range.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
int med(void) const
Return median of domain (greatest element not greater than the median)
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
bool before(const OffsetView &x, const OffsetView &y)
Test whether view x comes before y (arbitrary order)
Integer view for integer variables.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
Post propagator for SetVar SetOpType SetVar y
Generic domain change information to be supplied to advisors.
int offset(void) const
Return offset.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
ModEvent narrow_r(Space &home, I &i, bool depends=true)
Replace domain by ranges described by i.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
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
int max(void) const
Return maximum of domain.
Value iterator for pointwise offset (by some constant)
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
Range iterator for pointwise offset (by some constant)
int ModEventDelta
Modification event deltas.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.