public int getInt(String name) { return int.Parse(hash[name]); }
public int getNodesExpanded() { return(metrics.getInt(METRIC_NODES_EXPANDED)); }