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...") |
|||
Line 14: | Line 14: | ||
*[[ Array.X$() | Array.X$()]] does the reverse pair. | *[[ Array.X$() | Array.X$()]] does the reverse pair. | ||
+ | |||
+ | ==See Also== | ||
+ | [[Array.across() |Across]] |
Latest revision as of 05:22, 17 April 2020
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.