Array.filteroncolumn()

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

Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)

• ExtractColumns are the columns that are extracted, and filters are applied on FilterOnColumn where condition is satisfied.
• 1..10.filteroncolumn(">5")

6

7

8

9

10

• [[1..3,4..6],[2.3..4.3,10.1..12.2],[3/5,10/5]].filteroncolumn(">-10")

0.6 2

See Also

• filteronrow
• fillwith
• aggregate