Array.branchvalues()
Revision as of 13:23, 4 February 2020 by Joseph (talk | contribs) (Created page with " * << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member...")
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)