On 10/26/05, Grégoire Dooms <[EMAIL PROTECTED]> wrote:
local A B in
A::50#99
B::0#49
A<:B
end
Feed this to Oz and you will immediately see a failure. Without any search. In contrast, with the thread bomb approach, you have to generate 50^2 pairs of values which you assign to A and B in order to check this constraint is not satisfied.
...
Hope this clarifies the point.
Hi Gregoire,
I think we are in agreement. As I said, if you can reason about ranges (as one does in FD) you have a lot more leverage. If you can't (as in Oz without using FD or some other mechanism that lets you reason about domains), the best you can do is cut off the search as soon as possible. That's better than waiting until later.
-- Russ
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
