public Exp deleteExp(Exp l) { IntSet result = new IntSet(); Iterator<Exp> i = exps.iterator(); while (i.hasNext()) { Exp e = i.next(); if (e != l) result.exps.add(e.deleteExp(l)); } return result; }