Array.fourths()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.fourths()

Divide the element into four sections

1..12.fourths()

1	2	3
4	5	6
7	8	9
10	11	12

See Also

thirds

nth functions