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