VDM-10 Language Manual

Appendix A. The Syntax of the VDM Languages
A.7.4
Unary Expressions
unary expression = prefix expression
| map inverse ;
prefix expression = unary operator, expression ;
unary operator = unary plus
| unary minus
| arithmetic abs
| floor
| not
| set cardinality
| finite power set
| distributed set union
| distributed set intersection
| sequence head
| sequence tail
| sequence length
| sequence elements
| sequence indices
| sequence reverse
| distributed sequence concatenation
| map domain
| map range
| distributed map merge ;
unary plus = ‘+’ ;
unary minus = ‘-’ ;
arithmetic abs = ‘abs’ ;
floor = ‘floor’ ;
not = ‘not’ ;
set cardinality = ‘card’ ;
finite power set = ‘power’ ;
distributed set union = ‘dunion’ ;
distributed set intersection = ‘dinter’ ;
185