Hi!
I have printed Programming Constraint Services and used it as my
bedroom wallpaper, but I just can not figure it out:
fun {GetCloner OldSpace}
proc {$ Root}
{Space.merge OldSpace Root}
end
end
[Solution] = {Search.one.depth {GetCloner PreCreatedSpace} 20 _}
This should work, right?
Understandably the maintainer of Search.oz did not want to multiplex
the API further for input formats.
I have not came up with a simple example yet, but in my real system,
if Space.merge happens without syncronising on the stability of
OldSpace, the original bootstrapping thread of OldSpace seems to get
stuck when (or before) reaching the distributor. This makes the search
engine return an incoplete solution.
Does this sound like a bug? Should I keep trying to narrow it down?
In my application I have to use {Space.merge {Space.clone OldSpace}
Root} anyway to make the search restartable, and Space.clone waits for
stability, so it is only a theoretical problem to me.
Gabor Szokoli
-
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/.