Go to the documentation of this file.
38 namespace Gecode {
namespace Int {
81 OffsetView::baseval(
int val)
const {
128 return x.
lq(home,
n-
c);
132 return x.
lq(home,
n-
c);
137 return x.
le(home,
n-
c);
141 return x.
le(home,
n-
c);
146 return x.
gq(home,
n-
c);
150 return x.
gq(home,
n-
c);
155 return x.
gr(home,
n-
c);
159 return x.
gr(home,
n-
c);
164 return x.
nq(home,
n-
c);
168 return x.
nq(home,
n-
c);
173 return x.
eq(home,
n-
c);
177 return x.
eq(home,
n-
c);
274 return ((
base() <
y.base())
319 return (
x.base() ==
y.base()) && (
x.offset() ==
y.offset());
int offset(void) const
Return offset.
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
Post propagator for SetVar x
Post propagator for SetVar SetOpType SetVar y
int max(void) const
Return maximum of domain.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
void update(Space &home, DerivedView< View > &y)
Update this view to be a clone of view y.
void init(const View &x)
Initialize with ranges for view x.
int min(void) const
Return minimum of domain.
bool operator<(const OffsetView &y) const
Whether this view comes before view y (arbitray order)
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
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 gr(Space &home, int n)
Restrict domain values to be greater than n.
Base-class for derived views.
Gecode toplevel namespace
int max(void) const
Return maximum of domain.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
Range iterator for integer views.
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
int val(void) const
Return assigned value (only if assigned)
Generic domain change information to be supplied to advisors.
unsigned int size(void) const
Return size (cardinality) of domain.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
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.
int min(void) const
Return minimum of domain.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
ViewRanges(void)
Default constructor.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
OffsetView(void)
Default constructor.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
Value iterator for pointwise offset (by some constant)
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.
Range iterator for pointwise offset (by some constant)
int ModEvent
Type for modification events.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
bool range(void) const
Test whether domain is a range.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
IntView x
View from which this view is derived.
int val(void) const
Return assigned value (only if assigned)
ModEvent narrow_r(Space &home, I &i, bool depends=true)
Replace domain by ranges described by i.
bool in(int n) const
Test whether n is contained in domain.
IntView base(void) const
Return view from which this view is derived.
int med(void) const
Return median of domain (greatest element not greater than the median)
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
void update(Space &home, OffsetView &y)
Update this view to be a clone of view y.
Integer view for integer variables.
Range iterator for integer variable views
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
Gecode::FloatVal c(-8, 8)
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 n
Number of negative literals for node type.
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.
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
int ModEventDelta
Modification event deltas.
bool operator!=(const CachedView< View > &x, const CachedView< View > &y)
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
Gecode::IntArgs i({1, 2, 3, 4})
bool range(void) const
Test whether domain is a range.
bool operator==(const CachedView< View > &x, const CachedView< View > &y)
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.