Array.numbers()

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

Array.numbers(ForceCheckOnVariables)

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

See also Array.checktype() with numbers as the type.