Go backward to Logic Evaluator Go up to Top Go forward to Set Union |
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; } }