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

[Cesar Munoz <munoz@xxxxxxxxxx>]

The other difference is that the tuple (1,2) is different from the tuple
(2,1), but the record (# x:= 1, y:= 2 #) is equal to the record (# y:=
2, x:= 1 #).

Cesar

chunqing chen wrote:
> 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
>>
> 
> 

-- 
Cesar A. Munoz H., Senior Staff Scientist     mailto:munoz@xxxxxxxxxx
National Institute of Aerospace         mailto:Cesar.A.Munoz@xxxxxxxx
100 Exploration Way  Room 214       http://research.nianet.org/~munoz
Hampton, VA 23666, USA   Tel. +1 (757) 325 6907 Fax +1 (757) 325 6988
GPGP Finger Print: 9F10 F3DF 9D76 1377 BCB6  1A18 6000 89F5 C114 E6C4