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.

See Also

Across