[gecode-users] Gecode/J: What is Space abstract?

[Malcolm Ryan]

On 06/11/2007, at 7:49 PM, Christian Schulte wrote:

> Hi,
>
> Just as a side comment: always write a copy constructor even if you  
> are not
> using search (currently). Future versions of Gecode might invoke  
> copying for
> garbage collection behind your back (earlier versions actually  
> did). So
> always implement!

Wouldn't it be a good idea to add an abstract copy() function to Space 
() then, enforcing this requirement, rather than just assuming the  
copy constructor will be there? This is what you do on GecodeVar  
after all.

Malcolm

--
Many clever men like you have trusted to civilisation.
Many clever Babylonians, many clever Egyptians,
Many clever men at the end of Rome.
                               - G.K.Chesterton, The Napoleon of  
Notting Hill