public void set(String name, double d) { hash[name] = d.ToString(); }
public void clearInstrumentation() { metrics.set(METRIC_NODES_EXPANDED, 0); }