Excuse me, Joachim,
I abuse of your patience submitting to you a piece of code:
-------------------------------------------------------------
declare
proc {Donald Root}
proc {NaiveDistributor Is}
{Space.waitStable}
local
Fs={Filter Is fun {$ I} {FD.reflect.size I}>1 end}
in
{Ozcar.breakpoint}
case Fs
of nil then skip
[] F|Fr then M={FD.reflect.min F} in
choice F=M {NaiveDistributor Fr}
[] F\=:M {NaiveDistributor Fs}
end
end
end
end
sol(a:A b:B d:D e:E g:G l:L n:N o:O r:R t:T) = Root
in
Root ::: 0#9
{FD.distinct Root}
D\=:0 R\=:0 G\=:0
100000*D + 10000*O + 1000*N + 100*A + 10*L + D
+ 100000*G + 10000*E + 1000*R + 100*A + 10*L + D
=: 100000*R + 10000*O + 1000*B + 100*E + 10*R + T
{NaiveDistributor {Record.toList Root}}
end
{ExploreAll Donald}
-------------------------------------------------------------
where, if you try to execute with the debug option, nothing happens.
As I understand the problem is that I can't "explore" anything but in
the top level space (the only allowed to communicate with the rest of
universe).
An exception to that rule seems to be Browsing and Showing.
But, and this is the point, how can I trace what happens down in the
search tree without inserting obtrusive code ?
Thanks,
Adriano
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.