AlgoSim
Homepage | Screenshots | Gallery of Visualisation | User's Guide | Function Reference | Download | FAQ | Support | Bugs and Solutions | Donate

Reference: FORALL

∀(S, var, expr) returns true if every element in the set S satisfies the boolean-valued expression expr in the variable var.

Example: S ≔ [1, 100]
         ∀(S, "n", "isPerfect(n)") = false