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(SomeFunction,SubtractByArray,ScaleByArray,DoNotShowIndices,SomeRowArray)

Parameters: Function,SubtractByArray,ScaleByArray,DoNotShowIndices,RowArray

Function is applied to array indices at each array location scaled by Scale Array, with SubtractByArray subtracted. Indices can be avoided in output with DoNotShowIndices parameter. RowArray can filter the output.

Array.xy(SomeFunctionArray, SomeOffsetArray, SomeScaleArray, SomeGiveIndicesAlso,SomeDoCentering)

Parameters: (Function, OffsetArray, ScaleArray,GiveIndicesAlso,DoCentering) Similar to .indices but gives the indices only if GiveIndicesAlso is asked for.

Array.xypanel(SomeFunctionArray, SomeOffsetArray, SomeScaleArray, SomeGiveIndicesAlso)

Similar to .xy but with DoCentering as default.

Array.applyat(SomeFunction,SubtractByArray,ScaleByArray,DoShowIndices)

Similar to .indices but uses the value at the cell location.

Old name was: Array.at() which is now https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/at

Array.atnode(SomeFunction,SubtractByArray,ScaleByArray,DoNotShowIndices)

Similar to .indices, but just to get the node value.

Array.atindex()

Gets nodes from the indices mentioned.

Array.nodeindex()

Similar to atindex, but just to get the node indices. Calls Array.indices(UNDEFINED,UNDEFINED,UNDEFINED,true)

Array.indexanddata(SomeFunction,SubtractByArray,ScaleByArray,DoNotShowIndices,SomeRowArray)

Applies the functions to every element. For each element, the function is passed with indices of the element, and value of the element. Use DoNotShowIndices to hide indices with result.

For internal use only.

Array.indicesCore(UseValuesAtFlag,SomeFunction,SubtractByArray,ScaleByArray,DoNotShowIndices,SomeRowArray)

For internal use only.