Array.raw()

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

Array.raw()

Returns pure array without headers, input, input headers, and data indices information.

See Also

atindex

nodeindex