Manuals/calci/FORALL

From ZCubes Wiki
Revision as of 15:03, 4 February 2020 by Joseph (talk | contribs) (→‎Example)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

FORALL(SomeArray,SomeFunctions)

Description

  • FORALL returns the result of applying the set of SomeFunctions to SomeArray
  • This can also be represented by the notation ∀a("x<101") etc.

Example

FORALL(1..100,"z<=100")

gives true

FORALL(1..100,"z<=50")

gives false

a=1..100;

[∀a("x<810"),∃a("x<810"),∄a("x<810")]

true true false

See Also

References

Retrieved from "http://wiki.zcubes.com/index.php?title=Manuals/calci/FORALL&oldid=212715"