[gecode-users] Propagation order

[Christian Schulte]

Hi,

There are of course the normal cost values: unary, binary, ternary, linear,
etc. The system picks the cheapest, however some cost values are treated
alike. That is why there are no hard facts to be relied on.

But maybe you can give us an idea what you try to achieve?

Cheers
Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Peter Vanhee
Sent: Monday, June 14, 2010 7:23 AM
To: users at gecode.org
Subject: [gecode-users] Propagation order

Hi all,

I am trying to weight different propagators implementing a cost function
"virtual PropCost cost(const Space&, const ModEventDelta&) const".

As indicated by the documentation "The only hard fact you can rely on is
that a propagator 
with a cost value using PropCost::HI is never given preference over a
propagator with a cost 
value using PropCost::LO". 

For my particular problem however I'd need to weigh propagators quite
differently,
so they get executed almost sequentially, and simply saying LO or HI isn't
enough. 
Does gecode offer another way to control the order of propagation?

Thanks,
Peter 
_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users