Array.x$()

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

Array.x$(SomeArray)

Array across operation. Makes each element in Source Array and pairs with elements in the other array.

This makes a reflection of SomeArray with concat of the source element for each of the source element.

• Array.x$() is the same.

• Array.$X() does the reverse pair.