Difference between revisions of "Array.branchvalues()"
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...") |
|||
| Line 10: | Line 10: | ||
[[1,-2],[3,3],[0,44,-44]].branchvalues(true) | [[1,-2],[3,3],[0,44,-44]].branchvalues(true) | ||
| + | -2 -44 | ||
| + | 0 | ||
| + | 1 3 3 44 | ||
| + | |||
| + | -10..10.branchvalues(true) | ||
| + | |||
| + | -10 -9 -8 -7 -6 -5 -4 -3 -2 -1 | ||
| + | 0 | ||
| + | 1 2 3 4 5 6 7 8 9 10 | ||
| + | |||
| + | ==See Also== | ||
| + | [[Array.branch() |branch]] | ||
Revision as of 03:32, 16 April 2020
Array.branchvalues(SomeOnlyMatches)
Split values into negative, zero and positive values. Return the values. Show all (with null for non-matches) or matches only based on SomeOnlyMatches.
[[1,-2],[3,3],[0,44,-44]].branchvalues(true) -2 -44 0 1 3 3 44
-10..10.branchvalues(true)
-10 -9 -8 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10