|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use SaturationJob | |
|---|---|
| org.semanticweb.elk.reasoner.saturation | |
| Uses of SaturationJob in org.semanticweb.elk.reasoner.saturation |
|---|
| Classes in org.semanticweb.elk.reasoner.saturation with type parameters of type SaturationJob | |
|---|---|
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 parameters in org.semanticweb.elk.reasoner.saturation with type arguments of type SaturationJob | |
|---|---|
ClassExpressionSaturation(Collection<I> inputs,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
SaturationState saturationState,
ClassExpressionSaturationListener<SaturationJob<I>> listener)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||