[eclipse-clp-users] Assignment propagation queue

Dear all,

 I was wondering whether Eclipse (specifically search/6 from the ic library)
does any dynamic reordering of the propagation queue. Does it process events in
the order they're fired or does it use a heuristic like most constrained
variable first?

Thanks,

Lars