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

From: Lars Kotthoff <larsko_at_...157...>
Date: Tue, 3 Feb 2009 19:32:43 +0000
> 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.

Yes, I looked through the code earlier and saw that a couple of different
priorities are used in the ic library.


Received on Tue Feb 03 2009 - 19:32:52 CET

This archive was generated by hypermail 2.3.0 : Wed Aug 21 2019 - 09:13:31 CEST