[gecode-users] Adding IntActivity to space

[Christian Schulte]

Hi Kish,

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

Cheers
Christian

--
Christian Schulte, www.gecode.org/~schulte
Professor of Computer Science, KTH, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Kish Shen
Sent: Tuesday, February 17, 2015 7:22 AM
To: users at gecode.org
Subject: [gecode-users] Adding IntActivity to space

Hi,

I am looking at using activity (IntActivity) when the search is done outside
of Gecode to ECLiPSe's Gecode interface. I have added support for
IntActivity when the search is done in Gecode, i.e. using a search engine,
but I had thought I can't support IntActivity outside because IntActivity is
declared with a fixed set of variables, while ECLiPSe can dynamically add
variables to the problem.

However, the ECLiPSe interface does provide a predicate (procedure) that
perform variable selection on a fixed set of variables, so I think
IntActivity can be added as a selection method here -- an IntActivity can be
declared for the set of variables being selected when the predicate is first
called.

Does this IntActiviity have to be added to my space class? The activity
applies globally, and is not specific to a space, but the IntActivity is
declared with space as an argument along with variables for that space. 
If it needs to be added to the space (with a IntActivity* in the space, set
to NULL if IntActivity is not used, I assume?) How should it be copied when
the space is cloned?

Does this look like the right way to do it?

Thanks in advance!

Kish

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users