Harmon Nine wrote:
If Thread 1 is anywhere else in the loop besides statement (1) when the
‘stop’ method is called in Thread 2, the desired behavior is that when
the loop comes around and executes statement (1), the ‘next’ method will
return immediately, binding value “stopped” for NextSolution.
I don't think this is a bug. Taking into account the documentation, the
current behavior is the one that you should expect :
======
stop
stop
stops the search engine. The search engine can be restarted by
next, nextS, nextP, last, lastS, and lastP.
======
I agree with Yves: the idea is to adapt your code so that it is
consistent with the specification.
Cheers,
Luis
_________________________________________________________________________________
mozart-hackers mailing list [email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-hackers
