Array.dr()

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

Array.dr(WhichRow)

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

Same as Array.deleterow()

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

10	23	44
38	76	34
98	54	76

See Also

dc