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

From: Lars Kotthoff <larsko_at_cs.st-andrews.ac.uk>
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.

Thanks,

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

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET