[gecode-users] Ordering of propagators

[Peter Tiedemann]

Hi,

Is there some way to ensure ( or just strongly suggest) that a
propagator is scheduled to run only after the other propagators have
stabilized ( or thats its just in general pushed to the back of the
propagation queue) ?

I thought perhaps the propagation cost() function could achieve an
effect like this, if it returns a very high cost?

Related to this, how is the cost() function used exactly? I cant seem
to find any information on this in the documentation.

Regards,
Peter Tiedemann