private void printAlgorithmRunStats() { if (stop) { logger.info("Algorithm stopped ("+expressionTests+" descriptions tested). " + searchTree.size() + " nodes in the search tree.\n"); } else { totalRuntimeNs = System.nanoTime()-nanoStartTime; logger.info("Algorithm terminated successfully (time: " + Helper.prettyPrintNanoSeconds(totalRuntimeNs) + ", "+expressionTests+" descriptions tested, " + searchTree.size() + " nodes in the search tree).\n"); logger.info(reasoner.toString()); } }
private void printAlgorithmRunStats() { if (stop) { logger.info("Algorithm stopped ("+expressionTests+" descriptions tested). " + searchTree.size() + " nodes in the search tree.\n"); } else { totalRuntimeNs = System.nanoTime()-nanoStartTime; logger.info("Algorithm terminated successfully (time: " + Helper.prettyPrintNanoSeconds(totalRuntimeNs) + ", "+expressionTests+" descriptions tested, " + searchTree.size() + " nodes in the search tree).\n"); logger.info(reasoner.toString()); } }
@WebMethod public String getSubsumptionHierarchy(int id) throws ClientNotKnownException { return getState(id).getReasonerComponent().toString(); }
} else { logger.info("Algorithm terminated successfully (time: " + Helper.prettyPrintNanoSeconds(System.nanoTime()-nanoStartTime) + ", "+expressionTests+" descriptions tested, " + searchTree.size() + " nodes in the search tree).\n"); logger.info(reasoner.toString());
} else { logger.info("Algorithm terminated successfully (" + conceptTests + " descriptions tested).\n"); logger.info(reasoner.toString());