Array.isTrue()

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

Array.isTrue()

Checks if all the members in this array are true.

Same as Array.istrue()

istrue is all true will returns the result as true.Otherwise false.

[true,true,false].istrue() = false

[true,true,true].istrue() = true

See also

isFalse