forsome

expression forsome iterator

The given expression is evaluated for each of the successive values taken on by the given iterator, until the expression evaluates to True, in which case the overall expression results in True. If all of evaluations result in False the overall expression results in False. For example:

  (odd(i) forsome i in {2 4 6 8}) = False
  (odd(i) forsome i in {2..4}) = True

Note that the name space of the iterator contains the given expression. In other words, the following are equivalent:

  b := odd(i) forsome i in S

and

  b := False
  for i in S 
    if odd(i)
      b := True; exit
    end
  loop

Herman Venter

This is Slim documentation as snarfed on 27 May 1999 by dB.