public int repeatExpCount(int t, Exp e) { int result = 0; Exp ex; Iterator<Exp> i; i = exps.iterator(); while (i.hasNext()) { ex = i.next(); result += ex.repeatExpCount(t, e); } return result; }