Can a set be a constant?

[Woong Bin Kang]

I am pretty sure this is possible but just to double-check, I'm posting it
here.

Can a set be a constant in the Z specification?

e.g.
Constant section:

MySpecialNumbers : { 1, 2, 3 }

Thanks
Woongbin

[Woong Bin Kang]

Oops. I meant something like MySpecialNumbers : P N (powerset of natural
numbers)

Woongbin

Post by Woong Bin Kang
I am pretty sure this is possible but just to double-check, I'm posting it
here.
Can a set be a constant in the Z specification?
e.g.
MySpecialNumbers : { 1, 2, 3 }
Thanks
Woongbin

[Nancy Day]

Post by Woong Bin Kang

Post by Woong Bin Kang
MySpecialNumbers : { 1, 2, 3 }

is not wrong, just a little unusual. Types should be what
we would think of as the universal set for the element.

cheers, nancy

Post by Woong Bin Kang
Oops. I meant something like MySpecialNumbers : P N (powerset of
natural numbers)
Woongbin

Post by Woong Bin Kang
I am pretty sure this is possible but just to double-check, I'm
posting it here.
Can a set be a constant in the Z specification?
e.g.
Thanks
Woongbin

[Nancy Day]

Post by Woong Bin Kang
I am pretty sure this is possible but just to double-check, I'm posting
it here.
Can a set be a constant in the Z specification?
e.g.
MySpecialNumbers : { 1, 2, 3 }

Yes. Anything of any type can be a constant.

cheers, nancy
--------------------------------------------------------------------
Nancy Day, Associate Professor
CS245 Winter 2009 Instructor
http://www.student.cs.uwaterloo.ca/~cs245
David R. Cheriton School of Computer Science, University of Waterloo