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

[PVS-Help] FW: conversion


From: cs_sujith@hotmail.com
To: pvs-help@csl.sri.com
Subject: conversion
Date: Fri, 5 Feb 2010 17:17:13 +0000

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
I read that there is a conversion process in PVS. BUt I dont know how to use it. can u help me sir

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

Hotmail: Trusted email with powerful SPAM protection. Sign up now.