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...") |
|||
| Line 4: | Line 4: | ||
These functions modify the array row columns. | These functions modify the array row columns. | ||
| + | |||
| + | |||
| + | [[Array.appendrow()]] | ||
| + | |||
| + | [[Array.appendcolumn()]] | ||
[[Array.insertrow()]] | [[Array.insertrow()]] | ||
| Line 13: | Line 18: | ||
[[Array.deletecolumn()]] | [[Array.deletecolumn()]] | ||
| − | |||
| − | + | Array.ac 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; | ||
Revision as of 11:11, 6 March 2017
These functions modify the array row columns.
Array.ac 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;