Array Concat Functions

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

Array.mergerows(OtherArray)

Merge rows from each array.

Same as Array.rowconcat(OtherArray)

Array.mergecolumns(OtherArray)

Merge columns from each array.

Array.columnconcat(OtherArray)

Same as Array.concat, and effectively adds a new set of columns to existing array.

Also same as Array.colconcat