What do the standard C++ copy constructor and operator=() do on Vars? If I do,
IntVar x(space, 0, 10); IntVar y = x; IntVar z(x); are x, y and z dependent on each other? Or independent variables? Malcolm _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
