public SaturationStatistics getRuleAndConclusionStatistics() { return saturationFactory_.getRuleAndConclusionStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return processorFactory.getRuleAndConclusionStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return saturationFactory_.getRuleAndConclusionStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return processorFactory.getRuleAndConclusionStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return processorFactory.getRuleAndConclusionStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return saturationFactory_.getRuleAndConclusionStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return saturationFactory_.getRuleAndConclusionStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return saturationFactory_.getRuleAndConclusionStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return saturationFactory_.getRuleAndConclusionStatistics(); }