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...") |
|||
| Line 4: | Line 4: | ||
| − | ==Array.pack( | + | ==Array.pack() == |
| − | + | Remove consecutive duplicates and compact the array. | |
| + | |||
| + | [1,2,3,[3,4,4],[3,4,4],3].pack() | ||
| + | |||
| + | {| style="" id="TABLE1" class="null" donotcaption="true" | |- | 1 |- | 2 |- | 3 |- | 3 | 4 |- | 3 |} | ||
Revision as of 18:37, 5 February 2020
Array.pack()
Remove consecutive duplicates and compact the array.
[1,2,3,[3,4,4],[3,4,4],3].pack()