Difference between revisions of "Array.pack()"
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...") |
|||
(3 intermediate revisions by the same user not shown) | |||
Line 4: | Line 4: | ||
− | ==Array.pack( | + | ==Array.pack() == |
− | + | Remove consecutive duplicates and compact the array. | |
+ | |||
+ | Example: | ||
+ | |||
+ | [1,2,3,[3,4,4],[3,4,4],3].pack() | ||
+ | |||
+ | |||
+ | {| style="" id="TABLE1" class="null wikitable" donotcaption="true" | | ||
+ | |- | ||
+ | | 1 | ||
+ | |||
+ | |- | ||
+ | | 2 | ||
+ | |||
+ | |- | ||
+ | | 3 | ||
+ | |||
+ | |- | ||
+ | | 3 | ||
+ | | 4 | ||
+ | |||
+ | |- | ||
+ | | 3 | ||
+ | |||
+ | |||
+ | |} |
Latest revision as of 18:52, 5 February 2020
Array.pack()
Remove consecutive duplicates and compact the array.
Example:
[1,2,3,[3,4,4],[3,4,4],3].pack()
1 | |
2 | |
3 | |
3 | 4 |
3
|