Array.halves()

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

Array.halves()

Divide the rows into two half sections. Same as Array.half()

MAGICSQUARE(3).halves()

2 7 6
9 5 1	4 3 8

1..10.halves()

1	2	3	4	5
6	7	8	9	10