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...") |
|||
| Line 14: | Line 14: | ||
|- | |- | ||
| 3 | | 3 | ||
| + | |} | ||
| + | |||
| + | |||
| + | |3,4,5|.size() | ||
| + | |||
| + | {| class="wikitable"|- | ||
| + | | 3 | ||
| + | |- | ||
| + | | 4 | ||
| + | |- | ||
| + | | 5 | ||
|} | |} | ||
Revision as of 15:01, 4 March 2017
Array.size()
Give the size of this array for each dimension.
MAGICSQUARE(3).size()
| 3 |
| 3 |
|3,4,5|.size()
| 3 |
| 4 |
| 5 |