Array Row Column Functions

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

Array.row(Column Array | Column Parameters | empty)

Get the rows specified or all if parameters is empty

Array.rows(Column Array | Column Parameters | empty)

Same as Array.row

Array.column(Column Array | Column Parameters | empty)

Get the columns specified or all if parameters is empty

Array.columns(Column Array | Column Parameters | empty)

Same as Array.column