Array Indices and XY Functions

• << 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()

Array.xy()

Array.xypanel()

Array.at()

Array.atnode()

Array.atindex()

Array.nodeindex()

Array.indicesCore()