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);
277 y_cur = y_cur->next()) {
279 new (home)
RangeList(y_cur->min(),y_cur->max(),NULL);
300 _lastRange = _firstRange;
308 _firstRange->dispose(home,_lastRange);
325 return x.size() != _size;
371 : cr(x._firstRange), dr(x.base()) {
390 return same(x.
base(),y.
base()) && (x.offset() == y.offset());
396 || (
same(x.
base(),y.
base()) && (x.offset() < y.offset()));