[Oz] Help using Search module ...

[Tobias Müller]

P Ravi Prakash wrote:
> 
> Hi,
> 
> I have a problem using Search module. When I execute the code given
> below, the program hangs. But if I declare the variables A1, A2, A3 in
> the procedure Gen instead of as global variables, it works fine. Could any
> one please explain why this is happening?

Dear Ravi,

search in Mozart Oz is encapsulated, i.e., it begins as soon as no
computation outside search can have any impact on the search. Declaring
A, B, C outside Gen violates encapsulation. If you define the variables
inside Gen no computation outside of Gen may have an impact on your
search and everything works fine (as you observed).

Hope that helps.

Regards
-- Tobias
-------------------------------------------------
Tobias Müller, http://www.ps.uni-sb.de/~tmueller/
-
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/.