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


Received on Mon Feb 02 2009 - 16:08:17 CET

This archive was generated by hypermail 2.3.0 : Sat Aug 24 2019 - 18:14:03 CEST