High level operations |
Z language provides high level operations |
They allow to fill or initialize
a data structure (abstract machine) from a set of values.
CREATE_ARRAY
( A, [Exp1, Exp2, ....] )
CREATE_LIST
( L, [Exp1, Exp2, ....] )
CREATE_BILIST
( BL, [Exp1, Exp2, ....] )
CREATE_BST (
B, [Exp1, Exp2, ....]
)
CREATE_MST ( M, [Exp1, Exp2, ....] )
Etc.
Example