Array.$X()
Revision as of 12:22, 1 March 2017 by Joseph (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
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.