Array.filteronrow()

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

Array.filteronrow(Condition, ExtractRows, FilterOnRow)

• ExtractRows are the rows that are extracted, and filters are applied on FilterOnRow where condition is satisfied.

• [1..10,11..20].filteronrow(">4")

5	15
6	16
7	17
8	18
9	19
10	20

See Also

• filteroncolumn
• fillwith
• aggregate