Array.branch()
Revision as of 12:24, 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.branch(SomeOnlyMatches)
Split values into negative, zero and positive values. Return the true/false of the match result. Show all (with null for non-matches) or matches only based on SomeOnlyMatches.
[[1,-2],[3,3],[0,44,-44]].branch(true)