[gecode-users] IntVar copy constructor

[Filip Konvička]

Hi,

(just a technical note)

> IntVar y = x;
> IntVar z(x);

These two actually do exactly the same thing in C++ (i.e. call the copy 
constructor).

IntVar y;
y=x;

...is different, you construct an "empty" variable object and assign to 
it later. This is what often happens with var arrays.

Cheers,
Filip