previous up next
Go backward to Logic Evaluator
Go up to Top
Go forward to Set Union
RISC-Linz logo

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()) {
      if (A.eval()) set.addElement(T.eval());
      Context.end(); }
    return set;

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next