Difference between revisions of "Array.size()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 15: | Line 15: | ||
| 3 | | 3 | ||
|} | |} | ||
| + | |||
| + | |||
| + | |3,4,5|.size() | ||
| + | |||
| + | {| class="wikitable"|- | ||
| + | | 3 | ||
| + | |- | ||
| + | | 4 | ||
| + | |- | ||
| + | | 5 | ||
| + | |} | ||
| + | |||
| + | |||
| + | ==See Also== | ||
| + | [[Array.parts() |parts]] | ||
| + | |||
| + | [[Array.inner() |inner]] | ||
Latest revision as of 04:18, 8 May 2020
Array.size()
Give the size of this array for each dimension.
MAGICSQUARE(3).size()
| 3 |
| 3 |
|3,4,5|.size()
| 3 |
| 4 |
| 5 |