Difference between revisions of "Array.filteroncolumn()"

From ZCubes Wiki
Jump to navigation Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
 
Line 6: Line 6:
 
*ExtractColumns are the columns that are extracted, and filters are applied on FilterOnColumn where condition is satisfied.
 
*ExtractColumns are the columns that are extracted, and filters are applied on FilterOnColumn where condition is satisfied.
 
1..10.filteroncolumn(">5")
 
1..10.filteroncolumn(">5")
6
+
6
7
+
7
8
+
8
9
+
9
10
+
10

Revision as of 05:20, 1 April 2020

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