Hi Zoe,
I have an idea for a fix (a hack let’s say) but I think it will not fix the problem you are trying to solve. Let me try to explain: when your own propagator p triggers failure then there are two effects. One is that the AFC is counted for p (this is the fix you ask for). But the other effect is that if p had not been there some other propagator q might have triggered failure and the AFC of q would have increased. But now q’s AFC will not be incremented. So, are you really sure that what you ask for will fix the issue? Because I’d hate to suggest a fix that will not solve the real problem anyway. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, <mailto:cschu...@sics.se> cschu...@sics.se From: ziche...@gmail.com [mailto:ziche...@gmail.com] On Behalf Of Zhu Zichen's cse Sent: Friday, January 23, 2015 11:57 AM To: cschu...@kth.se Cc: users@gecode.org Subject: Re: [gecode-users] AFC of a Propagator Dear Christian, Yes, it would be very very nice if you can help to achieve that. Zoe On Fri, Jan 23, 2015 at 5:45 PM, Christian Schulte <cschu...@kth.se> wrote: 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-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Zhu Zichen's cse Sent: Friday, January 23, 2015 6:47 AM To: users@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
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
