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: [email protected] [mailto:[email protected]] On Behalf Of 
Zhu Zichen's cse
Sent: Friday, January 23, 2015 6:47 AM
To: [email protected]
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
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to