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

>  > 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