/** * Print statistics about the saturation computation */ public void printStatistics() { processorFactory.printStatistics(); }
/** * Print statistics about the saturation computation */ public void printStatistics() { processorFactory.printStatistics(); }
/** * Print statistics about the transitive reduction stage */ public void printStatistics() { saturationFactory_.printStatistics(); }
/** * Print statistics about the transitive reduction stage */ public void printStatistics() { saturationFactory_.printStatistics(); }
/** * Print statistics about the transitive reduction stage */ public void printStatistics() { saturationFactory_.printStatistics(); }
/** * Print statistics about the saturation computation */ public void printStatistics() { processorFactory.printStatistics(); }
public void printStatistics() { saturationFactory_.printStatistics(); }
public void printStatistics() { saturationFactory_.printStatistics(); }
public void printStatistics() { saturationFactory_.printStatistics(); }