Array.nodeindex()

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

These functions operate on array locations and values to create contours and other interesting operations.

Array Indices and XY Functions

Array.nodeindex()

Simply gives the indices of the node.

Same as Array.indices() but intended to get the nodeindex only.

MAGICSQUARE(3).nodeindex()

0 0	0 1	0 2
1 0	1 1	1 2
2 0	2 1	2 2