39 : rn(n), ro(o.ranges()) {
Int::ViewRanges< Int::IntView > rn
Iterator over the new values.
Iter::Ranges::RangeList ro
Iterator over the old values.
IntTraceDelta(Int::IntTraceView o, Int::IntView 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.
Duplicate of an integer view.
Integer view for integer variables.
Generic domain change information to be supplied to advisors.
Gecode toplevel namespace
void init(Iter::Ranges::RangeList &i, Int::ViewRanges< Int::IntView > &j)
Initialize with iterator i and j.