Difference between revisions of "Array.X$()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
(No difference)
|
Revision as of 12:25, 1 March 2017
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.