Array.deleterow()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.deleterow(WhichRow)

Delete WhichRow.The row number is started from "0" and so on.

Same as Array.dr()

[[10,23,44],[21,56,67],[38,76,34],[98,54,76]].deleterow(1)

10	23	44
38	76	34
98	54	76

See also

Array Row Column Modify Functions