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.

1. 1..3.$x(6..8)

	1	6
1	7
1	8
2	6
2	7
2	8
3	6
3	7
3	8