Array.filteronrow()
Revision as of 22:58, 1 April 2020 by Devika (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
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 |