[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
--------------------------------------------------------------------------------