Array.indicesCore()

• << 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.indicesCore(UserValuesAtFlag,Function,SubtractByArray,ScaleByArray,DoNotShowIndices,RowArray)

Same as Array.indices() but the first parameter UserValuesAtFlag [default false] specifies whether to use the values or location (x,y).