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