38 namespace Gecode {
namespace Int {
50 :
DerivedView<View>(y), _firstRange(NULL), _lastRange(NULL),
92 return x.regret_min();
97 return x.regret_max();
195 return x.narrow_r(home,i,depend);
201 return x.inter_r(home,i,depend);
207 return x.minus_r(home,i,depend);
213 return x.narrow_v(home,i,depend);
219 return x.inter_v(home,i,depend);
225 return x.minus_v(home,i,depend);
237 return View::med(me);
282 y_cur = y_cur->next()) {
284 new (home)
RangeList(y_cur->min(),y_cur->max(),NULL);
305 _lastRange = _firstRange;
313 _firstRange->dispose(home,_lastRange);
330 return x.size() != _size;
376 : cr(x._firstRange), dr(x.
base()) {
395 return same(x.
base(),y.
base()) && (x.offset() == y.offset());
401 || (
same(x.
base(),y.
base()) && (x.offset() < y.offset()));
View base(void) const
Return view from which this view is derived.
const FloatNum max
Largest allowed float value.
RangeList * next(void) const
Return next element.
bool any(const View &x)
Test whether x is neither positive nor negative.
bool before(const CachedView< View > &x, const CachedView< View > &y)
int ModEvent
Type for modification events.
int min(int i) const
Return minimum of range at position i.
Base-class for derived views.
Range iterator for integer views.
bool same(const CachedView< View > &x, const CachedView< View > &y)
const FloatNum min
Smallest allowed float value.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
int max(int i) const
Return maximum of range at position i.
unsigned int size(void) const
Return size (cardinality) of set.
unsigned int size(I &i)
Size of all ranges of range iterator i.
int min(void) const
Return smallest value of range.
void range(Home home, const IntVarArgs &x, SetVar y, SetVar z)
Post constraint .
CachedView(void)
Default constructor.
void init(const CachedView< View > &x)
Initialize with ranges for view x.
void init(const Gecode::RangeList *s)
Initialize with range list s.
Post propagator for SetVar SetOpType SetVar y
const double base
Base for geometric restart sequence.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
unsigned int _size
Size of cached domain.
int max(void) const
Return largest value of range.
Post propagator for SetVar x
int ranges(void) const
Return number of ranges of the specification.
Lists of ranges (intervals)
Gecode toplevel namespace
void init(Iter::Ranges::RangeList &i, ViewRanges< View > &j)
Initialize with iterator i and j.
int ModEventDelta
Modification event deltas.
void update(IntSet &y, Space &home, IntSet &py)
Iter::Ranges::RangeList cr
Cached domain iterator.
Range iterator for cached integer views
RangeList * _firstRange
First cached range.
ViewRanges< View > dr
Current domain iterator.