Difference between revisions of "Array.isFalse()"

Latest revision as of 03:11, 16 April 2020

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

@@ Line 4: / Line 4: @@
-*[[ Z3 | << Z3 Home ]]
+==Array.isFalse() ==
-*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
-*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
+Checks all the members in this array are true or there is any false.
-==Array.isFalse() ==
+Same as  isfalse.
-Checks if all the members in this array are true.
+isfalse is any false will returns the result as true.Otherwise false.
-Same as [[Array.isfalse() | isfalse]]
+[false,false,true].isfalse() = true
-isfalse is any false will returns the result as true.Otherwise false.
+[true,true,true].isFalse() = false
 ==See also==
 [[Array.isTrue() | IsTrue]]