Difference between revisions of "Manuals/calci/THEREDOESNOTEXIST"
Jump to navigation
Jump to search
(Created page with "==THEREDOESNOTEXIST(SomeArray,SomeFunctions) == ==Description== *THEREDOESNOTEXIST returns the result of applying the set of SomeFunctions to SomeArray, if results evaluate...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 4: | Line 4: | ||
==Description== | ==Description== | ||
*THEREDOESNOTEXIST returns the result of applying the set of SomeFunctions to SomeArray, if results evaluate to false for the array when the functions are applied. | *THEREDOESNOTEXIST returns the result of applying the set of SomeFunctions to SomeArray, if results evaluate to false for the array when the functions are applied. | ||
| + | *This can also be represented by the notation ∄a("x<810") etc. | ||
==Example== | ==Example== | ||
| Line 11: | Line 12: | ||
gives true | gives true | ||
| + | a=1..100; | ||
| + | |||
| + | [∀a("x<810"),∃a("x<810"),∄a("x<810")] | ||
| + | |||
| + | true true false | ||
==See Also== | ==See Also== | ||
Latest revision as of 15:03, 4 February 2020
THEREDOESNOTEXIST(SomeArray,SomeFunctions)
Description
- THEREDOESNOTEXIST returns the result of applying the set of SomeFunctions to SomeArray, if results evaluate to false for the array when the functions are applied.
- This can also be represented by the notation ∄a("x<810") etc.
Example
THEREDOESNOTEXIST(1..100,"x<=0")
gives true
a=1..100;
[∀a("x<810"),∃a("x<810"),∄a("x<810")]
true true false