[eclipse-clp-users] Assignment propagation queue

From: Lars Kotthoff <larsko_at_...157...>
Date: Mon, 2 Feb 2009 16:08:08 +0000
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
Received on Mon Feb 02 2009 - 16:08:17 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST