ModEvent CPTupleVarImp::exclude(Space& home, const Tuple& t) { TupleSet s(t.arity()); s.add(t); return exclude(home,s); }
ModEvent CPTupleVarImp::assign(Space& home, const Tuple& t) { TupleSet s(t.arity()); s.add(t); return exclude(home,s.complement()); }