public SaturationStatistics getRuleAndConclusionStatistics() { return ruleApplicationFactory_.getSaturationStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleApplicationFactory_.getSaturationStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleApplicationFactory_.getSaturationStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleAppFactory_.getSaturationStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleAppFactory_.getSaturationStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleAppFactory_.getSaturationStatistics(); }
/** * Print statistics about the saturation */ public void printStatistics() { ruleAppFactory_.getSaturationStatistics().print(LOGGER_); }
/** * Print statistics about the saturation */ public void printStatistics() { ruleAppFactory_.getSaturationStatistics().print(LOGGER_); }
/** * Print statistics about the saturation */ public void printStatistics() { ruleAppFactory_.getSaturationStatistics().print(LOGGER_); }
/** * Print statistics about the saturation */ public void printStatistics() { ruleApplicationFactory_.getSaturationStatistics().print(LOGGER_); if (LOGGER_.isDebugEnabled()) { if (aggregatedStats_.jobsSubmittedNo > 0) LOGGER_.debug( "Saturation Jobs Submitted=Done+Processed: {}={}+{}", aggregatedStats_.jobsSubmittedNo, aggregatedStats_.jobsAlreadyDoneNo, aggregatedStats_.jobsProcessedNo); LOGGER_.debug("Locks: " + aggregatedStats_.locks); } }
/** * Print statistics about the saturation */ public void printStatistics() { ruleApplicationFactory_.getSaturationStatistics().print(LOGGER_); if (LOGGER_.isDebugEnabled()) { if (aggregatedStats_.jobsSubmittedNo > 0) LOGGER_.debug( "Saturation Jobs Submitted=Done+Processed: {}={}+{}", aggregatedStats_.jobsSubmittedNo, aggregatedStats_.jobsAlreadyDoneNo, aggregatedStats_.jobsProcessedNo); LOGGER_.debug("Locks: " + aggregatedStats_.locks); } }
/** * Print statistics about the saturation */ public void printStatistics() { ruleApplicationFactory_.getSaturationStatistics().print(LOGGER_); if (LOGGER_.isDebugEnabled()) { if (aggregatedStats_.jobsSubmittedNo > 0) LOGGER_.debug( "Saturation Jobs Submitted=Done+Processed: {}={}+{}", aggregatedStats_.jobsSubmittedNo, aggregatedStats_.jobsAlreadyDoneNo, aggregatedStats_.jobsProcessedNo); LOGGER_.debug("Locks: " + aggregatedStats_.locks); } }