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()) {
378 cr.init(
x._firstRange);
390 return same(
x.base(),y.
base()) && (
x.offset() == y.offset());
396 || (
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.
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.
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.
Iter::Ranges::RangeList cr
Cached domain iterator.
Range iterator for cached integer views
RangeList * _firstRange
First cached range.
ViewRanges< View > dr
Current domain iterator.