Array.dc()

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

Array.dc(WhichColumn)

Delete WhichColumn. The column number is starting from "0" and so on.

Same as Array.deletecolumn()

[[10,23,44,21],[56,67,38,72],[34,98,54,76]].dc(2)

10	23	21
56	67	72
34	98	76

See Also

dr