[gecode-users] IntVar copy constructor

[Malcolm Ryan]

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