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);
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.
bool operator<(const OffsetView &y) const
Whether this view comes before view y (arbitray order)
int val(void) const
Return assigned value (only if assigned)
IntView 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)
bool operator!=(const OffsetView &x, const OffsetView &y)
Test whether views x and y are not the same.
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.
int n
Number of negative literals for node type.
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.
Gecode::IntArgs i({1, 2, 3, 4})
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.
void update(Space &home, DerivedView< View > &y)
Update this view to be a clone of view y.
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.
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.
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.
Gecode toplevel namespace
int max(void) const
Return maximum of domain.
Value iterator for pointwise offset (by some constant)
void update(Space &home, OffsetView &y)
Update this view to be a clone of view y.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
bool operator==(const OffsetView &x, const OffsetView &y)
Test whether views x and y are the same.
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.