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. | ||
| + | |||
| + | #1..3.$x(6..8) | ||
| + | {| id="TABLE3" class="SpreadSheet blue" | ||
| + | |- class="even" | ||
| + | | class=" " | | ||
| + | | class="sshl_f" | 1 | ||
| + | | class="sshl_f" | 6 | ||
| + | |||
| + | |- class="odd" | ||
| + | | class="sshl_f" | 1 | ||
| + | | class="sshl_f" | 7 | ||
| + | |||
| + | |- class="even" | ||
| + | | class="sshl_f" | 1 | ||
| + | | class="sshl_f" | 8 | ||
| + | |||
| + | |- class="odd" | ||
| + | | class="sshl_f" | 2 | ||
| + | | class="sshl_f" | 6 | ||
| + | |||
| + | |- class="even" | ||
| + | | class="sshl_f" | 2 | ||
| + | | class="sshl_f" | 7 | ||
| + | |||
| + | |- class="odd" | ||
| + | | class="sshl_f" | 2 | ||
| + | | class="sshl_f" | 8 | ||
| + | |||
| + | |- class="even" | ||
| + | | class="sshl_f" | 3 | ||
| + | | class="sshl_f" | 6 | ||
| + | |||
| + | |- class="odd" | ||
| + | | class="sshl_f" | 3 | ||
| + | | class="sshl_f" | 7 | ||
| + | |||
| + | |- class="even" | ||
| + | | class="sshl_f" | 3 | ||
| + | | class="sshl_f" | 8 | ||
| + | |} | ||
Revision as of 02:13, 13 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.
- 1..3.$x(6..8)
| 1 | 6 | |
| 1 | 7 | |
| 1 | 8 | |
| 2 | 6 | |
| 2 | 7 | |
| 2 | 8 | |
| 3 | 6 | |
| 3 | 7 | |
| 3 | 8 |