A couple of questions

[Gabor Szokoli]

Hello!

Here they come:
1,
This allows me to tie the upper bound of FS variable M to FD variable
D:
{FS.card M 1} {FS.include D M}
Are the two domain-variable-like-things unified or is there a
propagator doing the work?
Simply: is this for free? :-)

2,
Is a similar mapping possible for non-single sets? I need that mostly
to do an FD.watch on:
I can not watch the cardinality, and monitorIn does too much I don't
need.
Or is there some other way to monitor an FS variable?

3,
 I have managed to compile the whole Mozart system on w2k, except for
the Investigator (its Reflection package). I have seen disclaimers
like "this won't work on windows" on other stuff by Tobias before.
Should I keep trying or is it hopeless?
(I have some more ideas to try, but I'm getting suspicious...)

4,
 Is there any optimised term matching support available via the CPI?
Something like clause selection in prolog, or 'case' matching in oz?
(why reinvent the wheel? :-) )


Well, that's it for now...
Thanks:

Gabor Szokoli

-
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/.