Hi Andre,
No, that's not possible (I thought that this would be not that useful). I just added a set() function to the trunk to do that for both AFC and Activity. If it is urgent (CP 2013?), you can use the attached patch. Best Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Andre Augusto Cire Sent: Wednesday, April 17, 2013 6:15 PM To: users@gecode.org Subject: [gecode-users] Resetting the AFC of a variable Dear All, I am currently implementing a restart-based search in Gecode using accumulated failure count (AFC) as the variable selection criteria. Due to the particular structure of the problem I am solving, it would be quite advantageous to perturb the AFC of certain variables according to some other information I collect during search. Is there any simple way to forcefully change the AFC of certain variables before each restart (i.e., at the master(...) of a Space), or at least reset all of them to 0? (I couldn't find this in the documentation, and I'm really sorry if it is indeed there). Thanks a lot for your help, Andre
afc.patch
Description: Binary data
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
