Difference between revisions of "Array.filteroncolumn()"
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 04: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