54 :
_glb(o.glb(),n),
_lub(o.lub(),n) {}
56 SetTraceDelta::glb(
void) {
60 SetTraceDelta::lub(
void) {
Iterator over new glb Set::GlbRanges< Set::SetView > n
Iterator over old lub Iter::Ranges::RangeList o
int n
Number of negative literals for node type.
Set view for set variables
Generic domain change information to be supplied to advisors.
Iterator over new lub Set::LubRanges< Set::SetView > n
Lists of ranges (intervals)
Gecode toplevel namespace
name Constructors and initialization Initialize with old lub a o and new lub a n Lub(RangeList *o, Set::SetView n)
void init(Set::GlbRanges< Set::SetView > &i, Iter::Ranges::RangeList &j)
Initialize with iterator i and j.
Iterator over old glb Iter::Ranges::RangeList o
name Constructors and initialization Initialize with old glb and new glb Glb(RangeList *o, Set::SetView n)
name Constructor Initialize with old trace view a new view a and delta a d SetTraceDelta(Set::SetTraceView o, Set::SetView n, const Delta &d)