public ClassExpressionQueryComputation( final Collection<IndexedClassExpression> inputs, final InterruptMonitor interrupter, final ConcurrentExecutor executor, final int maxWorkers, final ProgressMonitor progressMonitor, final SaturationState<?> saturationState, final TransitiveReductionOutputVisitor<IndexedClassExpression> outputProcessor) { super(inputs, new ClassExpressionQueryComputationFactory(interrupter, saturationState, maxWorkers, outputProcessor), executor, maxWorkers, progressMonitor); }
public SaturationStatistics getRuleAndConclusionStatistics() { return processorFactory.getRuleAndConclusionStatistics(); }
public void printStatistics() { processorFactory.printStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return processorFactory.getRuleAndConclusionStatistics(); }
public void printStatistics() { processorFactory.printStatistics(); }
public ClassExpressionQueryComputation( final Collection<IndexedClassExpression> inputs, final InterruptMonitor interrupter, final ConcurrentExecutor executor, final int maxWorkers, final ProgressMonitor progressMonitor, final SaturationState<?> saturationState, final TransitiveReductionOutputVisitor<IndexedClassExpression> outputProcessor) { super(inputs, new ClassExpressionQueryComputationFactory(interrupter, saturationState, maxWorkers, outputProcessor), executor, maxWorkers, progressMonitor); }
public SaturationStatistics getRuleAndConclusionStatistics() { return processorFactory.getRuleAndConclusionStatistics(); }
public void printStatistics() { processorFactory.printStatistics(); }
public ClassExpressionQueryComputation( final Collection<IndexedClassExpression> inputs, final InterruptMonitor interrupter, final ConcurrentExecutor executor, final int maxWorkers, final ProgressMonitor progressMonitor, final SaturationState<?> saturationState, final TransitiveReductionOutputVisitor<IndexedClassExpression> outputProcessor) { super(inputs, new ClassExpressionQueryComputationFactory(interrupter, saturationState, maxWorkers, outputProcessor), executor, maxWorkers, progressMonitor); }