[gecode-users] Resetting the AFC of a variable

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Andre Augusto Cire
Sent: Wednesday, April 17, 2013 6:15 PM
To: users at 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130417/740a4282/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: afc.patch
Type: application/octet-stream
Size: 4436 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20130417/740a4282/attachment.obj>