On 14 Apr 2006, at 15:56, Fred Spiessens wrote:
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.
Sorry, this should be:
The current space blocks until the space in which S0 is tried is
either entailed or disentailed.
I would like to merge the space of S0 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
