[eclipse-clp-users] Assignment propagation queue

From: Lars Kotthoff <larsko_at_cs.st-andrews.ac.uk>
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.2.0 : Thu Feb 02 2012 - 02:31:58 CET