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

[Kish Shen]

Hi,

I am looking at the documentation for AFC in the class documentation for 
Space (section low-level support for AFC), and I don't understand what 
afc_set(double a) does:

The description say it 'Reset AFC to a', but I thought there is no 
global AFC value, as each variable has its own AFC value?

[Also, I noticed a possibly incorrect link in the description for 
afc_decay(double d):

the Set in 'Set AFC decay factor to d' is linked to Gecode:Set ]

Cheers,

Kish