Glb(RangeList *o, Set::SetView n)
Initialize with old glb and new glb.
Glb & glb(void)
Give access to iterator for delta in greatest lower bound (values that have been included) ...
Set::LubRanges< Set::SetView > n
Iterator over new lub.
Set::GlbRanges< Set::SetView > n
Iterator over new glb.
Iter::Ranges::RangeList o
Iterator over old glb.
Lub & lub(void)
Give access iterator for delta in leat bound (values that have been removed)
SetTraceDelta(Set::SetTraceView o, Set::SetView n, const Delta &d)
Initialize with old trace view o, new view n, and delta d.
int n
Number of negative literals for node type.
Lub(RangeList *o, Set::SetView n)
Initialize with old lub o and new lub n.
Iter::Ranges::RangeList o
Iterator over old lub.
Set view for set variables
Generic domain change information to be supplied to advisors.
Delta for the least upper bound.
Lists of ranges (intervals)
Delta for the greatest lower bound.
Gecode toplevel namespace
void init(Set::GlbRanges< Set::SetView > &i, Iter::Ranges::RangeList &j)
Initialize with iterator i and j.