Re: [eclipse-clp-users] Assignment propagation queue

Lars Kotthoff wrote:
> 
> Do all propagators that eclipse defines have the same priority then?
> 
Hi Lars,

I am wondering if your question is about how you know what priority to 
set for a particular goal (propagator). Essentially, the programmer for 
a particular solver (e.g. ic) needs to make the decision of what 
priorities to use. This means if you need to write code that interacts 
with the propagators of a particular library, you need to know what 
priorities is used by that library.

Cheers,

Kish

-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.