Array.x$()
Revision as of 12:25, 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.