Difference between revisions of "Array.collect()"

From ZCubes Wiki
Jump to navigation Jump to search
 
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()]]
  

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.