Difference between revisions of "Array Row Column Modify 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...") |
|||
| (8 intermediate revisions by 2 users not shown) | |||
| Line 4: | Line 4: | ||
These functions modify the array row columns. | These functions modify the array row columns. | ||
| + | |||
| + | |||
| + | [[Array.addrow()]] | ||
| + | |||
| + | [[Array.addcolumn()]] | ||
[[Array.insertrow()]] | [[Array.insertrow()]] | ||
| Line 13: | Line 18: | ||
[[Array.deletecolumn()]] | [[Array.deletecolumn()]] | ||
| − | [[Array. | + | ==Short Notations== |
| + | |||
| + | Array.ar is the same as [[Array.addrow() | Array.addrow]] | ||
| + | |||
| + | Array.ac is the same as [[Array.addcolumn() | Array.addcolumn]] | ||
| + | |||
| + | Array.dr is the same as [[Array.deleterow() | Array.deleterow]] | ||
| + | |||
| + | Array.dc is the same as [[Array.deletecolumn() | Array.deletecolumn]] | ||
| + | |||
| + | Array.ir is the same as [[Array.insertrow() | Array.insertrow]] | ||
| − | [[Array. | + | Array.ic is the same as [[Array.insertcolumn() | Array.insertcolumn]] |
Latest revision as of 03:51, 1 April 2020
These functions modify the array row columns.
Short Notations
Array.ar is the same as Array.addrow
Array.ac is the same as Array.addcolumn
Array.dr is the same as Array.deleterow
Array.dc is the same as Array.deletecolumn
Array.ir is the same as Array.insertrow
Array.ic is the same as Array.insertcolumn