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@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
