|
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 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. Hotmail: Trusted email with powerful SPAM protection. Sign up now. |