Array.flatten()

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

Array.flatten()

Flatten the array into a single dimensional array.

MAGICSQUARE(3).flatten()

2
7
6
9
5
1
4
3
8