Difference between revisions of "Array.collect()"
(2 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
+ | *[[ Z3 | << Z3 Home ]] | ||
+ | *[[ Z%5E3_Language_Documentation | Z3 Language Documentation]] | ||
+ | *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | ||
+ | |||
Also same as [[Array.suchthat() | Array.suchthat()]] | Also same as [[Array.suchthat() | Array.suchthat()]] | ||
+ | Related to | ||
+ | |||
+ | Array.filteroncondition= function (SomeTakeDropOrAllFlag, SomeFunction, SomeParameter) | ||
+ | |||
+ | Matches are applied to element or rows in an array with SomeFunctions and SomeParameter mentioned. '' | ||
Related to | Related to | ||
Line 9: | Line 18: | ||
2 12 - dropwhile | 2 12 - dropwhile | ||
− | |||
− | |||
− | Array. | + | asvector versions work on elements/arrays at the top level. The simple versions work at every element level (goes into subarrays when need be). |
+ | |||
+ | Each element is used to match for the following: | ||
+ | |||
+ | Array.collectwhile=Array.filteroncondition.curry(0); | ||
+ | |||
+ | Array.suchthat=Array.filteroncondition.curry(0); | ||
+ | |||
+ | Array.collect=Array.suchthat; | ||
− | Array | + | Array.takewhile=Array.filteroncondition.curry(1); |
− | Array | + | Array.dropwhile=Array.filteroncondition.curry(2); |
+ | Each element at top level is used to match for the following: | ||
− | Array | + | Array.collectwhileasvector=Array.filteroncondition.curry(10); |
− | Array | + | Array.suchthatasvector=Array.filteroncondition.curry(10); |
− | Array | + | Array.collectasvector=Array.suchthatasvector; |
− | Array | + | Array.takewhileasvector=Array.filteroncondition.curry(11); |
− | Array | + | Array.dropwhileasvector=Array.filteroncondition.curry(12); |
− | Array | + | Array.splitwhile=Array.partitiononcondition.curry(0); |
− | Array | + | Array.splitwhileasvector=Array.partitiononcondition.curry(10); |
− | To be documented. | + | To be documented in more detail. |
Latest revision as of 03:22, 30 April 2020
Also same as Array.suchthat()
Related to
Array.filteroncondition= function (SomeTakeDropOrAllFlag, SomeFunction, SomeParameter)
Matches are applied to element or rows in an array with SomeFunctions and SomeParameter mentioned.
Related to 0 10 - takeall
1 11 - takewhile
2 12 - dropwhile
asvector versions work on elements/arrays at the top level. The simple versions work at every element level (goes into subarrays when need be).
Each element is used to match for the following:
Array.collectwhile=Array.filteroncondition.curry(0);
Array.suchthat=Array.filteroncondition.curry(0);
Array.collect=Array.suchthat;
Array.takewhile=Array.filteroncondition.curry(1);
Array.dropwhile=Array.filteroncondition.curry(2);
Each element at top level is used to match for the following:
Array.collectwhileasvector=Array.filteroncondition.curry(10);
Array.suchthatasvector=Array.filteroncondition.curry(10);
Array.collectasvector=Array.suchthatasvector;
Array.takewhileasvector=Array.filteroncondition.curry(11);
Array.dropwhileasvector=Array.filteroncondition.curry(12);
Array.splitwhile=Array.partitiononcondition.curry(0);
Array.splitwhileasvector=Array.partitiononcondition.curry(10);
To be documented in more detail.