Difference between revisions of "Array.parts()"

From ZCubes Wiki
Jump to navigation Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
 
 
Line 4: Line 4:
  
  
==Array.parts(PartSize, WhichPart) ==
+
==Array.parts(PartSize, SpecificPartOrFunction) ==
  
Divides the array into parts of PartSize. The part indexed by WhichPart is given if requested.
+
Divides the array into parts of PartSize. The part indexed by SpecificPartOrFunction is given if requested. SpecificPartOrFunction, if a function, is applied to each of the parts.
  
  
Line 30: Line 30:
 
| 10  
 
| 10  
 
|}
 
|}
 +
 +
 +
== See Also ==
 +
[[Array.chunks()| chunks]]
 +
 +
[[Array.pieces()| pieces]]

Latest revision as of 21:55, 21 March 2024


Array.parts(PartSize, SpecificPartOrFunction)

Divides the array into parts of PartSize. The part indexed by SpecificPartOrFunction is given if requested. SpecificPartOrFunction, if a function, is applied to each of the parts.


1..10.parts(3)

1 2 3
4 5 6
7 8 9 10

1..10.parts(3,2)

7
8
9
10


See Also

chunks

pieces