Go backward to Logic Evaluator Go up to Top Go forward to Set Union

Operational Interpretation

public final class SetTerm implements Term 
{
  private String x; private Term S; private Formula A; private Term T;

  public Value eval() throws EvalException
  {
    Set set = new Set();
    Iterator iterator = Model.iterator(S);
    while (iterator.hasNext()) {
      Context.begin(x, iterator.next());
      if (A.eval()) set.addElement(T.eval());
      Context.end(); }
    return set;
  }
}