Array.size()

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

Array.size()

Give the size of this array for each dimension.

MAGICSQUARE(3).size()

3

3

|3,4,5|.size()

3

4

5

See Also

parts

inner