private String getTimesAsString() { float totalTime = allSW.getCurrentSeconds(); float periodicUpdateTime = periodicUpdateSW.getCurrentSeconds(); float lazyUpdateTime = lazyUpdateSW.getCurrentSeconds(); float neighborUpdateTime = neighborUpdateSW.getCurrentSeconds(); float contractionTime = contractionSW.getCurrentSeconds(); float otherTime = totalTime - (periodicUpdateTime + lazyUpdateTime + neighborUpdateTime + contractionTime); // dijkstra time is included in the others float dijkstraTime = nodeContractor.getDijkstraSeconds(); return String.format(Locale.ROOT, "t(total): %6.2f, t(period): %6.2f, t(lazy): %6.2f, t(neighbor): %6.2f, t(contr): %6.2f, t(other) : %6.2f, t(dijk): %6.2f", totalTime, periodicUpdateTime, lazyUpdateTime, neighborUpdateTime, contractionTime, otherTime, dijkstraTime); }
private String getTimesAsString() { float totalTime = allSW.getCurrentSeconds(); float periodicUpdateTime = periodicUpdateSW.getCurrentSeconds(); float lazyUpdateTime = lazyUpdateSW.getCurrentSeconds(); float neighborUpdateTime = neighborUpdateSW.getCurrentSeconds(); float contractionTime = contractionSW.getCurrentSeconds(); float otherTime = totalTime - (periodicUpdateTime + lazyUpdateTime + neighborUpdateTime + contractionTime); // dijkstra time is included in the others float dijkstraTime = nodeContractor.getDijkstraSeconds(); return String.format(Locale.ROOT, "t(total): %6.2f, t(period): %6.2f, t(lazy): %6.2f, t(neighbor): %6.2f, t(contr): %6.2f, t(other) : %6.2f, t(dijk): %6.2f", totalTime, periodicUpdateTime, lazyUpdateTime, neighborUpdateTime, contractionTime, otherTime, dijkstraTime); }