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

nat, real & Co.



Hi everybody,

I am a new user of PVS during a training period in a loboratory and just want to 
know if it exists in PVS the possibility to define a variable of type POSITIVE 
i.e. in mathematical definition N*={1..+inf} .

Thanks for all your helps.


--------------------------------------------------------------------------------
****    Moussa AMRANI			|  Tel.: +33683438236
****					|
****    Laboratoire L.S.R. 		|  Tel.: +33476827246
****	Licence   d'informatique  	|
****    Magistere d'Informatique    	|
********************************************************************************
****    38420 Grenoble
****    FRANCE
--------------------------------------------------------------------------------