Hi dear oz-users,
I would like to add some constraints inside the "choice" construct so:
...
choice S1
[] S2
end
should be
...
choice
S1
MyConstraints
[]
S2
end
a first try results in a block in MyConstraints on a violated constraint;
am I wrong in some assumption ?
Cheers,
Adriano
-
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/.