Array.checktype()

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

Array.checktype(TypeArray, ForceCheckOnVariables)

Check if all elements of this array is of a set of Types.

[1,2,3,"TEST"].checktype("number")

false

[1,2,3].checktype("number")

true

See also Array.numbers()