@Override public int exprSize() { int sz = 0; for (final Expr e : preExpr) sz += e.exprSize(); for (final Expr e : specs) sz += e.exprSize(); return sz; }
@Override public int exprSize() { int sz = 1; if (occ != null) for (final Expr o : occ) sz += o.exprSize(); for (final Expr e : exprs) sz += e.exprSize(); return sz + query.exprSize(); }
@Override public int exprSize() { int sz = 1; for (final Let lt : copies) sz += lt.exprSize(); for (final Expr e : expr) sz += e.exprSize(); return sz; }
@Override public int exprSize() { int sz = 1; for (final Expr e : cases) sz += e.exprSize(); return sz + ts.exprSize(); }
@Override public final int exprSize() { int sz = 1; for (final Expr e : steps) sz += e.exprSize(); return root == null ? sz : sz + root.exprSize(); }
@Override public int exprSize() { int sz = 1; for (final Expr e : exprs) sz += e.exprSize(); return sz; }