Beispiel #1
0
 @Override
 public VarUsage count(final Var var) {
   return ts.count(var).plus(VarUsage.maximum(var, cases));
 }