Array.$A()

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

Array.$A(attributename)

Assuming the array of objects, is a parameter string for an attribute (say attrs.x) and extracts that attribute for each array element object.

e.g.

a=[{a:3,b:5},{a:45,b:43}];

a is an array of objects.

a.$A("a")

3 45