Array.$x()
Revision as of 12:23, 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$() or Array.X$() does the reverse pair.