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

Re: [PVS-Help] The difference between Record types and Tuple types



Elements of a tuple are referred by position (e.g., tup(1)), whereas
elements of a record are referred by name (e.g., rec(i)). This is the
main difference in my opinion.

On Mon, Apr 7, 2008 at 5:13 PM, Lingzhao Mao <mail@xxxxxxxxxxx> wrote:
>
>
>
>
> I am a tyro of pvs. When I learn the wift-tutorial,I have a question that
> what's the difference between Record types and Tuple types.For example,I can
> define a Tuple      tup:Type=[int,bool] ,and  also I can define a Record :
> rec:Type=[#i:int,b:bool#]. So what's the difference between rec and tup?
> Thanks.
>
>
>
> -------------------------------------------------------------------------------------
>
> Thanks & Best Regards
>
> Lingzhao Mao
>
> BASICS Lab,Shanghai Jiao Tong Univ.
>
>
>
> __________ Information from ESET NOD32 Antivirus, version of virus signature
> database 3005 (20080406) __________
>
> The message was checked by ESET NOD32 Antivirus.
>
> http://www.eset.com
>