The Solve function given in CTM is Depth-First. I was wondering if
there is a BFSolve function that does a Breadth-First search? So if I
have the following:
{Browse
{BFSolveAll
fun {$}
choice
choice 1 [] 3 end
[] choice 2 [] 4 end
end
end}}
Depth first gives the results of [1 3 2 4] whereas a Breadth-First would
give the results of [1 2 3 4].
Probably wouldn't be difficult to modify Solve to change the search
strategy, but then it's even easier just to ask on the Oz mailing list. :-)
Thanks,
Chris Rathman
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
