Array.branchvalues()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

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

See Also

branch