Exactly, it is a double because of the decay factor (it used to be a double before because of the extended range of a double compared to an integer).
Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte -----Original Message----- From: Kish Shen [mailto:kiss...@cisco.com] Sent: Tuesday, December 10, 2013 11:35 PM To: cschu...@kth.se; users@gecode.org Subject: Re: [gecode-users] changing a Space's AFC decay factor 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 _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
