[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] conversion



sir, i am doing my project using PVS. I want to convert one variable of type float in to type integer.
e.g. x,y:float
a: integer
a:=integer(x*y).
I read that there is a conversion process in PVS. BUt I dont know how to use it. can u help me sir
sujith


Hotmail: Powerful Free email with security by Microsoft. Get it now.