Array.isFalse()

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

Array.isFalse()

Checks if all the members in this array are true.

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