[Oz] Typecasting

[mahfouza]

Hello,

I have a constraint written in an Oz program.
The result of this equation is a real (float) number.
Do I have any way to convert/typecast this to an integer since
I am using finite domain integers only.
When I am using it without any conversion, it does not give me
any solution, so I thought it may need to be rounded or truncated for
example.

Thanks,
Rania

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