172173174175176177178179180
* Returns all the metrics of the node expander. * * @return all the metrics of the node expander. */ public Metrics getMetrics() { Metrics result = new Metrics(); result.set("expandedNodes", this.expandedNodes); return result; }
108109110111112113114115116
return value; } @Override public Metrics getMetrics() { Metrics result = new Metrics(); result.set("expandedNodes", expandedNodes); return result; }
100101102103104105106107108
152153154155156157158159160161
} /** Returns some statistic data from the last search. */ @Override public Metrics getMetrics() { Metrics result = new Metrics(); result.set("expandedNodes", expandedNodes); result.set("maxDepth", maxDepth); return result; }
47484950515253
private static final String MAX_QUEUE_SIZE = "maxQueueSize"; private static final String PATH_COST = "pathCost"; public BidirectionalSearch() { metrics = new Metrics(); }
363738394041424344
private final int infinity = Integer.MAX_VALUE; private final Metrics iterationMetrics; public IterativeDeepeningSearch() { iterationMetrics = new Metrics(); iterationMetrics.set(METRIC_NODES_EXPANDED, 0); iterationMetrics.set(PATH_COST, 0); }