[Mozart Oz Users] element propagator

[volpadri at tin.it]

Hi,

using the FD.element propagator in a loop that constraints a task duration
to be an element in a vector of durations 


task(id:t1 machine:_1#3 start:_0#100 durmatrix:[2 3 4] dur:_0#100)


{ForAll Tasks fun {$ T}
	...
	{FD.element T.machine T.durmatrix T.dur}
	...
end}

I see a blocking behaviour.

Is the use above correct ?

Must be used a new thread on every propagator posting ?

Thanx,

	Adriano




-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.