Array.filteroncolumn() - Revision history

Devika: /* Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn) */

2022-02-23T09:05:59Z

Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)

Devika: /* Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn) */

2020-04-01T11:25:24Z

Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)

Devika: /* Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn) */

2020-04-01T11:22:34Z

Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)

Devika: /* Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn) */

2020-04-01T11:18:52Z

Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)

Devika: /* Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn) */

2020-04-01T10:48:17Z

Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)

Devika: /* Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn) */

2020-04-01T10:20:49Z

Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)

Devika: Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F..."

2020-04-01T10:20:01Z

Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F..."

New page

*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]

==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

@@ Line 20: / Line 20: @@
 *[[1..3,4..6],[2.3..4.3,10.1..12.2],[3/5,10/5]].filteroncolumn(">-10")
 .6   2
 ==See Also==

@@ Line 18: / Line 18: @@
 |}
-*[1..10,11..20].filteronrow(">4")
+*[[1..3,4..6],[2.3..4.3,10.1..12.2],[3/5,10/5]].filteroncolumn(">-10")
-{| class="wikitable"
+.6   2
 ==See Also==

@@ Line 5: / Line 5: @@
 ==Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)==
 *ExtractColumns are the columns that are extracted, and filters are applied on FilterOnColumn where condition is satisfied.
-..10.filteroncolumn(">5")
+*1..10.filteroncolumn(">5")
 {| class="wikitable"
 | 6
 |-
@@ Line 17: / Line 16: @@
 |-
 | 10
+|}
-[1..10,11..20].filteronrow(">4")
+*[1..10,11..20].filteronrow(">4")
 {| class="wikitable"
 | 5 || 15
 |-

@@ Line 8: / Line 8: @@
 {| class="wikitable"
 |-
-|6
+| 6
 |-
-|7
+| 7
 |-
-|8
+| 8
 |-
-|9
+| 9
 |-
-|10
+| 10
+}
@@ Line 34: / Line 34: @@
 |10 ||20
 |}
-	15
-	16
+==See Also==
-	17
+*[[Array.filteronrow() |filteronrow ]]
-	18
+*[[Array.fillwith() | fillwith]]
-	19
+*[[Array.aggregate() | aggregate]]

← Older revision		Revision as of 10:20, 1 April 2020
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