Hi oz users,
Is there any way to ask if a variable is totally
determined?, for example:
X=_#3#_
Is not totally determined because X.1 and X.3 aren't
bounded yet. When X=unit#3#unit then X is totally
determined.
Thanks a lot.
Albert Soletsky
__________________________________________________
Do You Yahoo!?
Yahoo! Games - play chess, backgammon, pool and more
http://games.yahoo.com/
-
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/.