VDM-10 Language Manual

VDM-10 Language Manual
A.7.5
sequence head = ‘hd’ ;
sequence tail = ‘tl’ ;
sequence length = ‘len’ ;
sequence elements = ‘elems’ ;
sequence indices = ‘inds’ ;
sequence reverse = ‘reverse’ ;
distributed sequence concatenation = ‘conc’ ;
map domain = ‘dom’ ;
map range = ‘rng’ ;
distributed map merge = ‘merge’ ;
map inverse = ‘inverse’, expression ;
Binary Expressions
binary expression = expression, binary operator, expression ;
binary operator = arithmetic plus
| arithmetic minus
| arithmetic multiplication
| arithmetic divide
| arithmetic integer division
| arithmetic rem
| arithmetic mod
| less than
| less than or equal
| greater than
| greater than or equal
| equal
| not equal
| or
| and
| imply
| logical equivalence
| in set
186