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
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
