Hi Everyone,
I'm just getting started at using reified constraints, and I've made up
an example test program to see how stuff works. I'd like it to find all
values of two variables such that they aren't within a certain range of
each other (and yes I know you can do that with the distance propagator,
I'm trying to see how [x + z < y] OR [x > y + z] works). Everything
looks fine to me, but when I run it from the OPI (and anywhere else I'd
guess) it suspends and then terminates without doing anything. Can
anyone tell me, what's wrong with my code?
Thanks,
Ryan Kaulakis
%----Code follows
declare X Y Z D1 D2 D3 Foo
proc {Foo Sol}
Sol = sol(x:X y:Y)
Z = 2
X::1#10
Y::1#10
(X + Z <: Y) = D1
(X >: Y + Z) = D2
{FD.disj D1 D2 D3}
D3 =: 1
{FD.distribute ff [X Y D2 D1 D3]}
end
{Browse {SearchAll Foo}}
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
