Array.of()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.of(elements)

Elements used to create the array. It will form the new array.

Array.of(1, 2, 3);

1 2 3

Array.of("air","wind","breeze","cyclone");

air wind breeze cyclone

See Also

objects

op