Hi Zoe,
As you have figured out, giving the highest cost (CRAZY) will make the propagator almost always run last. This is normally quite safe: there are only two other propagators in Gecode that use CRAZY as a cost, the domain-consistent linear propagator which is exponential and is typically not used in a model and a propagator that records the activity of variables (that is, when you use ACTIVITY in branchings). So, not perfect but as far as pragmatics is okay you can rely that if there is a single propagator with CRAZY it’ll run last. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, [email protected] Expert Researcher, SICS, [email protected] From: [email protected] [mailto:[email protected]] On Behalf Of Zhu Zichen's cse Sent: Tuesday, March 24, 2015 11:15 AM To: [email protected] Subject: [gecode-users] Gecode Propagators' Order Dear all, It is possible to control the propagators' order such that a propagator is always triggered at the end? I changed the cost function to give it as large number as possible but this cannot guarantee. Thanks. Zoe
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
