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...") |
|||
| (5 intermediate revisions by the same user not shown) | |||
| Line 5: | Line 5: | ||
==Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)== | ==Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)== | ||
*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 | + | {| class="wikitable" |
| − | 7 | + | | 6 |
| − | 8 | + | |- |
| − | 9 | + | | 7 |
| − | 10 | + | |- |
| + | | 8 | ||
| + | |- | ||
| + | | 9 | ||
| + | |- | ||
| + | | 10 | ||
| + | |} | ||
| + | |||
| + | *[[1..3,4..6],[2.3..4.3,10.1..12.2],[3/5,10/5]].filteroncolumn(">-10") | ||
| + | 0.6 2 | ||
| + | |||
| + | *(([51..70,71..90])~).filteroncolumn(">63") | ||
| + | {| class="wikitable" | ||
| + | | 64 || 84 | ||
| + | |- | ||
| + | | 65 || 85 | ||
| + | |- | ||
| + | | 66 || 86 | ||
| + | |- | ||
| + | | 67 || 87 | ||
| + | |- | ||
| + | | 68 || 88 | ||
| + | |- | ||
| + | |69 || 89 | ||
| + | |- | ||
| + | |70 || 90 | ||
| + | |} | ||
| + | |||
| + | ==See Also== | ||
| + | *[[Array.filteronrow() |filteronrow ]] | ||
| + | *[[Array.fillwith() | fillwith]] | ||
| + | *[[Array.aggregate() | aggregate]] | ||
Latest revision as of 03:05, 23 February 2022
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 |
- [[1..3,4..6],[2.3..4.3,10.1..12.2],[3/5,10/5]].filteroncolumn(">-10")
0.6 2
- (([51..70,71..90])~).filteroncolumn(">63")
| 64 | 84 |
| 65 | 85 |
| 66 | 86 |
| 67 | 87 |
| 68 | 88 |
| 69 | 89 |
| 70 | 90 |