Array.objects()

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

Array.objects(List of Items)

Returns the array of Objects in the ZSpace DOM with each element being applied with function OBJECT applied to the variable.

["1Space"].objects() will return the DOM Object with ID "1Space" if it exists.

Same as Array.o()

See Also

op

of