Array.isnull()

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

Array.isnull()

Checks if all the members in this array are null.

Array.isnotnull()

Checks if all the members in this array are not null.