[gecode-users] Gecode Propagators' Order

[Christian Schulte]

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, cschulte at kth.se

Expert Researcher, SICS, cschulte at sics.se

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Zhu Zichen's cse
Sent: Tuesday, March 24, 2015 11:15 AM
To: users at gecode.org
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

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