writer
6,694
edits
Changes
→Array.isFalse()
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
*[[ Z3 | << Z3 Home ]]
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
Checks if all the members in this array are true.
Checks if all the members in this array are true.
Same as Array.isfalse()
Same as [[Array.isfalse() | isfalse]]
isfalse is any false will returns the result as true.Otherwise false.
See also [[Array.isTrue()]]
==See also==
[[Array.isTrue() | IsTrue]]