@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 final int exprSize() {
int sz = 1;
for (final Expr e : preds) sz += e.exprSize();
return sz + root.exprSize();
}
@Override
public int exprSize() {
int sz = 1;
for (final Expr e : exprs) sz += e.exprSize();
return sz;
}