Difference between revisions of "Array Row Column Functions"
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 11: | Line 11: | ||
Same as Array.row | Same as Array.row | ||
| − | |||
==Array.column(Column Array | Column Parameters | empty) == | ==Array.column(Column Array | Column Parameters | empty) == | ||
Latest revision as of 13:31, 4 March 2017
Array.row(Column Array | Column Parameters | empty)
Get the rows specified or all if parameters is empty
Array.rows(Column Array | Column Parameters | empty)
Same as Array.row
Array.column(Column Array | Column Parameters | empty)
Get the columns specified or all if parameters is empty
Array.columns(Column Array | Column Parameters | empty)
Same as Array.column