[gecode-users] AFC of a Propagator

[Christian Schulte]

Hi Zoe,

 

No, by default that is not possible. In order to do it, one would have to really modify the kernel of Gecode.

 

I think you need it badly, right? If yes, I could think about it.

 

Best

Christian

 

--

Christian Schulte, Professor of Computer Science, KTH, www.gecode.org/~schulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Zhu Zichen's cse
Sent: Friday, January 23, 2015 6:47 AM
To: users at gecode.org
Subject: [gecode-users] AFC of a Propagator

 

Dear all,

 

Is it possible to not count a propagator's AFC into its subscribed variables' AFC? 

Because now I use INT_VAR_AFC_SIZE_MAX() variable heuristic while I do not 

want there is a big difference on the heuristic with or without adding my own constraint. 

 

Many thanks. 

 

 

Zoe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20150123/d329101a/attachment.html>