public ClassExpressionQueryComputationFactory( final InterruptMonitor interrupter, final SaturationState<?> saturationState, final int maxWorkers, final TransitiveReductionOutputVisitor<IndexedClassExpression> outputProcessor) { this.transitiveReductionShared_ = new TransitiveReductionFactory<IndexedClassExpression, TransitiveReductionJob<IndexedClassExpression>>( interrupter, saturationState, maxWorkers, new ThisTransitiveReductionListener()); this.outputProcessor_ = outputProcessor; }
public ClassExpressionQueryComputationFactory( final InterruptMonitor interrupter, final SaturationState<?> saturationState, final int maxWorkers, final TransitiveReductionOutputVisitor<IndexedClassExpression> outputProcessor) { this.transitiveReductionShared_ = new TransitiveReductionFactory<IndexedClassExpression, TransitiveReductionJob<IndexedClassExpression>>( interrupter, saturationState, maxWorkers, new ThisTransitiveReductionListener()); this.outputProcessor_ = outputProcessor; }
public ClassExpressionQueryComputationFactory( final InterruptMonitor interrupter, final SaturationState<?> saturationState, final int maxWorkers, final TransitiveReductionOutputVisitor<IndexedClassExpression> outputProcessor) { this.transitiveReductionShared_ = new TransitiveReductionFactory<IndexedClassExpression, TransitiveReductionJob<IndexedClassExpression>>( interrupter, saturationState, maxWorkers, new ThisTransitiveReductionListener()); this.outputProcessor_ = outputProcessor; }