@Override public VarUsage count(final Var var) { return VarUsage.sum(var, specs).plus(VarUsage.sum(var, preExpr)); }
@Override public VarUsage count(final Var var) { final VarUsage inRoot = root == null ? VarUsage.NEVER : root.count(var); return VarUsage.sum(var, steps) == VarUsage.NEVER ? inRoot : VarUsage.MORE_THAN_ONCE; }
@Override public VarUsage count(final Var v) { return VarUsage.sum(v, copies).plus(super.count(v)); }
@Override public VarUsage count(final Var var) { return occ != null ? VarUsage.sum(var, occ).plus(query.count(var)) : query.count(var); }
@Override public VarUsage count(final Var var) { return VarUsage.sum(var, exprs); }