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