Array.cell()

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

Array.cell(row,column,width,height)

Get the cells at row and column, and get the area described by width and height. Note row and column are zero indexed. Same as Array.cells(row,column,width,height).

MAGICSQUARE(6)

29	7	6	20	25	24
9	32	1	27	23	19
31	3	8	22	21	26
2	34	33	11	16	15
36	5	28	18	14	10
4	30	35	13	12	17

MAGICSQUARE(6).cell(3,3,2,2)

11	16
18	14