Manuals/calci/THEREDOESNOTEXIST
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