Harmon Nine wrote:
In the Oz constraint-programming tutorial, section 2.8 states:
"If a thread creates a distributor, the thread is blocked until the
distributor has done its job."
I think the sentence is not well formulated. A thread *invoking* a
distributor (like FD.distribute) blocks until the distribution has
completed. That is, when you run
{FD.distribute ff Root}
you know that after the call, all variables in Root are determined. The
sentence says nothing else than that.
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
