Difference between revisions of "Array.isFalse()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
| (6 intermediate revisions by the same user not shown) | |||
| Line 6: | Line 6: | ||
==Array.isFalse() == | ==Array.isFalse() == | ||
| − | Checks | + | Checks all the members in this array are true or there is any false. |
| − | Same as | + | Same as isfalse. |
| − | See also [[Array.isTrue()]] | + | isfalse is any false will returns the result as true.Otherwise false. |
| + | |||
| + | [false,false,true].isfalse() = true | ||
| + | |||
| + | [true,true,true].isFalse() = false | ||
| + | |||
| + | ==See also== | ||
| + | [[Array.isTrue() | IsTrue]] | ||
Latest revision as of 03:11, 16 April 2020
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