[gecode-users] changing a Space's AFC decay factor
Christian Schulte
cschulte at kth.se
Wed Dec 11 07:54:45 CET 2013
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:kisshen at cisco.com]
Sent: Tuesday, December 10, 2013 11:35 PM
To: cschulte at kth.se; users at 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
More information about the users
mailing list