Array.primitives()

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

Array.primitives()

• Returns the primitive values of objects in the array.

typeof [new String("TEST"),new Boolean(true)].primitives()[0]

string

(not String Object)

See Also

prefix

suffix