[gecode-users] Using IntActivity with space

[Kish Shen]

Hi,

I am now looking at adding the variable activity selection to the 
interface I am writing.

 From reading the MPG, it looks like IntActivity has a similar API to 
IntAFC, and so cannot be easily used in my code. So is there anyway
to setup and use it in a similar way to what Christian suggested for AFC 
previously? That is,

1) to setup the recording of activity for all variables in the space,
    including variables that are dynamically added
2) to obtain the activity of a variable outside of the search engine
3) change the decay for all variables

For 2), I could not find an equivalent function to afc() in the 
Gecode::IntVar Member List page that Christian pointed to previously
(which does list the afc method).

Thanks in advance for any information!

Cheers,

Kish