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

[PVS-Help] (no subject)

Hi there,

I am a novice PVS user, so please forgive me if my question sounds silly.

My question is this:

Suppose I have a finite number of variables (say a, b and c) of type t and 
would like to somewhat construct a set containing the variables.  Would it 
be ok if I simply put

s: set[t]
s = {a,b,c}

If not, what can I do?

The same question also applies to constructing a list.


Find it on the web with MSN Search. http://search.msn.com.sg/