Array.headings()

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

Array.headings()

Returns the headings of this array (from the ["headings"] attribute of the array).

See also Array.setheadings