Array.isFalse()

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

Array.isFalse()

Checks all the members in this array are true or there is any false.

Same as isfalse.

isfalse is any false will returns the result as true.Otherwise false.

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

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

See also

IsTrue