[gecode-users] Adding IntActivity to space

[Kish Shen]

Hi Christian,

Thanks for your help. I have now written the initial version of code 
that allow IntActivity to be used in the variable selection predicate of 
gfd. I have one question on what needs to be done during cloning, as you 
mentioned that update needs to be caled:

On 17/02/2015 08:51, Christian Schulte wrote:

> Yes, that looks okay. You have to call update() on the activity object when
> you clone a space.

In my space class (GecodeSpace), the activity object, if it exist, is 
pointed to by an actp filed:

IntActivity* actp;

which is NULL otherwise.
In my space constructor used for cloning, the activity object is 
constructed using the copy constructor:

   GecodeSpace(bool share, GecodeSpace& s) : ....

   if (s.actp != NULL) {
	actp = new IntActivity(*(s.actp));

do I still need to call update in this case, i.e. something like:

         actp->update(*this, share, *(s.actp));

or does the copy constructor already does the copying needed?

Thanks and cheers,

Kish