Array.foldl() - Revision history

Devika: /* See Also */

2020-04-24T09:58:42Z

Devika: /* Array.foldl(SomFunction, SomeStartValue) */

2020-04-24T09:58:10Z

Array.foldl(SomFunction, SomeStartValue)

Joseph at 16:02, 16 February 2020

2020-02-16T16:02:14Z

Joseph at 21:25, 15 February 2020

2020-02-15T21:25:59Z

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

2020-02-15T21:05:11Z

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.foldr(SomFunction, SomeStartValue) ==

At each element, SomeFunction (that can take two parameter values) are called in sequence for element from the right. The second parameter is the last value of evaluation of the given SomeFunction. For the very first element, the SomeStartValue is passed as the second parameter.

@@ Line 59: / Line 59: @@
 ==See Also==
-[[Array.foldl()|foldl ]]
+[[Array.fold()|fold ]]
 [[Array.foldr()|foldr ]]

← Older revision		Revision as of 09:58, 24 April 2020
Line 50:		Line 50:

	-13		-13
		+
		+
		+	a=1..3;
		+	a.foldr(MINUS,2)
		+
		+	-4 (2-1-2-3)

	==See Also==		==See Also==

@@ Line 19: / Line 19: @@
+)
-	2	-1
+	1	-1
--1	3	-4
+-1	2	-3
--4	4	-8
+-3	3	-6
--8	5	-13
+-6	4	-10
--13
+-10	5	-15

← Older revision		Revision as of 21:25, 15 February 2020
Line 3:		Line 3:
	*[[ Z%5E3_Array_Manipulation_Member_Functions \| Listing of Z3 Array Manipulation Member Functions]]		*[[ Z%5E3_Array_Manipulation_Member_Functions \| Listing of Z3 Array Manipulation Member Functions]]

−	~~==Array.foldr(SomFunction, SomeStartValue) ==~~

−	At each element, SomeFunction (that can take two parameter values) are called in sequence for element from the ~~right~~. The second parameter is the last value of evaluation of the given SomeFunction. For the very first element, the SomeStartValue is passed as the second parameter.	+	==Array.foldl(SomFunction, SomeStartValue) ==
		+
		+	At each element, SomeFunction (that can take two parameter values) are called in sequence for element from the left. The second parameter is the last value of evaluation of the given SomeFunction. For the very first element, the SomeStartValue is passed as the second parameter, if present. If no SomeStartValue is provided, it starts with the first two as the pair to start with.
		+
		+
		+	a=1..5;
		+	a.foldl(
		+	function (last,x)
		+	{
		+	OUTPUT([last,x,(last-x)]);
		+	return(last-x)
		+	},
		+	0
		+	)
		+
		+	1 2 -1
		+
		+	-1 3 -4
		+
		+	-4 4 -8
		+
		+	-8 5 -13
		+
		+	-13
		+
		+
		+	a=1..5;
		+	a.foldl(
		+	function (last,x)
		+	{
		+	OUTPUT([last,x,(last-x)]);
		+	return(last-x)
		+	}
		+	)
		+
		+	1 2 -1
		+
		+	-1 3 -4
		+
		+	-4 4 -8
		+
		+	-8 5 -13
		+
		+	-13
		+
		+	==See Also==
		+
		+	[[Array.foldl()\|foldl ]]
		+
		+	[[Array.foldr()\|foldr ]]