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

Packages that use ClassExpressionSaturationListener

org.semanticweb.elk.reasoner.saturation

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

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

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

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.