Array.filteronrow()

From ZCubes Wiki
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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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