Hi,
If I use the statement:
cond S0 then S1 else S2 end
The current space blocks until the space in which S1 is tried is
either entailed or disentailed.
I would like to merge the space of S1 into its parent as soon as it
becomes stable.
I could use:
choice S0 {Space.waitStable} S1
[] S2
but the problem with that is: if S0 does not cause failure, I'm left
with a useless copy of the space during the execution of S1, and I
want to avoid this memory overhead.
thanks for any ideas,
Fred
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
