| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.saturation |
| Modifier and Type | Class and Description |
|---|---|
class |
ClassExpressionSaturationFactory<J extends SaturationJob<? extends IndexedClassExpression>>
The factory for engines that concurrently submit, process, and post-process
saturation jobs.
|
interface |
ClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>>
A listener to be used with
ClassExpressionSaturationFactory. |
class |
DummyClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>>
A
ClassExpressionSaturationListener that does nothing with finished
jobs |
| Constructor and Description |
|---|
ClassExpressionSaturation(Collection<I> inputs,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
SaturationState saturationState,
ClassExpressionSaturationListener<SaturationJob<I>> listener) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.