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

From: Lars Kotthoff <larsko_at_cs.st-andrews.ac.uk>
Date: Tue, 3 Feb 2009 09:34:56 +0000
>  > or does it use a heuristic like most constrained variable first?
> 
> You would have to explain more precisely what you mean by that in the
> context of a propagator-queuing implementation.  Propagators typically
> involve many variables.  You could write a propagator that increases
> its own priority when it involves highly constrained variables.

I was thinking along the lines of taking the highest number of constraints any
of the variables covered by the propagator is involved in and using that as the
priority.

Do all propagators that eclipse defines have the same priority then?

Thanks,

Lars
Received on Tue Feb 03 2009 - 09:35:06 CET

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