Array.foldr() - Revision history

Devika: /* See Also */

2020-04-24T10:05:12Z

Joseph: /* Array.foldr(SomFunction, SomeStartValue) */

2020-02-15T21:30:42Z

Array.foldr(SomFunction, SomeStartValue)

Joseph: /* Array.foldr(SomFunction, SomeStartValue) */

2020-02-15T21:25:38Z

Array.foldr(SomFunction, SomeStartValue)

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:22:23Z

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, if present. If no SomeStartValue is provided, it starts with the last two as the pair to start with.

a=1..5;
a.foldr(
function (last,x)
{
OUTPUT([last,x,(last-x)]);
return(last-x)
},
0
)

0 5 -5

-5 4 -9

-9 3 -12

-12 2 -14

-14 1 -15

-15

a=1..5;
a.foldr(
function (last,x)
{
OUTPUT([last,x,(last-x)]);
return(last-x)
}
)

5 4 1

1 3 -2

-2 2 -4

-4 1 -5

-5

← Older revision		Revision as of 10:05, 24 April 2020
Line 60:		Line 60:
	[[Array.foldl()\|foldl ]]		[[Array.foldl()\|foldl ]]

−	[[Array.~~foldr~~()\|~~foldr~~ ]]	+	[[Array.fold()\|fold ]]

← Older revision		Revision as of 21:30, 15 February 2020
Line 49:		Line 49:

	-5		-5
		+
		+	1..3.foldr(DIVIDE,10)
		+
		+	1.6666666666666667
		+
		+	which is 10/3/2

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

← Older revision		Revision as of 21:25, 15 February 2020
Line 49:		Line 49:

	-5		-5
		+
		+	==See Also==
		+
		+	[[Array.foldl()\|foldl ]]
		+
		+	[[Array.foldr()\|foldr ]]