public int getMetric(String name) {
        return metrics.get(name);
    }
Returns the value of a metric, or null if it is not set
searchlib/src/main/java/com/yahoo/searchlib/rankingexpression/evaluation/OptimizationReport.java