[gecode-users] changing a Space's AFC decay factor

[Kish Shen]

On 10/12/2013 12:33, Christian Schulte wrote:

> afc_set(a) is for changing the value for the afc: it sets the afc-value for
> all propagators to a.

I see -- I guess this is (mainly?) for setting the initial value of the 
AFCs, defaulting to 1 for each propagator so that the AFC for a variable 
is its degree, corresponding to the 'weighted degree' definition?

I am still a bit puzzled, I thought the AFC for a variable is an integer 
-- certainly the code I use to get AFC returns an integer (using 
IntVar::afc()), but the a in afc_set(a) is a double. Has the internal 
representation of AFC changed from integer to double? Is this related to 
the introduction of the decay factor -- without the decay factor, it 
seems to me that the AFC need only be integer.

Cheers,

Kish