Uses of Interface
org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener

Packages that use ClassExpressionSaturationListener

Package	Description
org.semanticweb.elk.reasoner.saturation

Uses of ClassExpressionSaturationListener in org.semanticweb.elk.reasoner.saturation

Classes in org.semanticweb.elk.reasoner.saturation that implement ClassExpressionSaturationListener

Modifier and Type	Class and Description
class	DummyClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>> A ClassExpressionSaturationListener that does nothing with finished jobs

Constructors in org.semanticweb.elk.reasoner.saturation with parameters of type ClassExpressionSaturationListener

Constructor and Description
ClassExpressionSaturation(Collection<I> inputs, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, SaturationState saturationState, ClassExpressionSaturationListener<SaturationJob<I>> listener)
ClassExpressionSaturationFactory(RuleApplicationFactory ruleAppFactory, int maxWorkers, ClassExpressionSaturationListener<J> listener)
ClassExpressionSaturationFactory(SaturationState saturationState, int maxWorkers, ClassExpressionSaturationListener<J> listener) Creates a new saturation engine using the given saturation state, listener for callback functions, and threshold for the number of unprocessed contexts.