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

Packages that use ContextModificationListener

Package	Description
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.rules

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

Fields in org.semanticweb.elk.reasoner.saturation declared as ContextModificationListener

Modifier and Type	Field and Description
static ContextModificationListener	ContextModificationListener.DUMMY

Methods in org.semanticweb.elk.reasoner.saturation that return ContextModificationListener

Modifier and Type	Method and Description
static ContextModificationListener	SaturationUtils.addStatsToContextModificationListener(ContextModificationListener listener, ContextStatistics contextStats)

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type ContextModificationListener

Modifier and Type	Method and Description
static ContextModificationListener	SaturationUtils.addStatsToContextModificationListener(ContextModificationListener listener, ContextStatistics contextStats)
ExtendedSaturationStateWriter	SaturationState.getExtendedWriter(ContextCreationListener contextCreationListener, ContextModificationListener contextModificationListener, RuleApplicationVisitor ruleAppVisitor, ConclusionVisitor<?> conclusionVisitor, boolean trackNewContextsAsUnsaturated) Creates a new ExtendedSaturationStateWriter for modifying this SaturationState associated with the given ContextCreationListener.
BasicSaturationStateWriter	SaturationState.getWriter(ContextModificationListener contextModificationListener, ConclusionVisitor<?> conclusionVisitor)

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

Constructor and Description
ClassExpressionNoInputSaturation(ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, RuleApplicationFactory ruleAppFactory, ContextModificationListener contextModificationListener)

Uses of ContextModificationListener in org.semanticweb.elk.reasoner.saturation.rules

Methods in org.semanticweb.elk.reasoner.saturation.rules with parameters of type ContextModificationListener

Modifier and Type	Method and Description
RuleDeapplicationFactory.DeapplicationEngine	ContextCleaningFactory.getDefaultEngine(ContextCreationListener listener, ContextModificationListener modificationListener)
RuleApplicationFactory.BaseEngine	RuleApplicationFactory.getDefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)
RuleDeapplicationFactory.DeapplicationEngine	RuleDeapplicationFactory.getDefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)
RuleApplicationFactory.BaseEngine	ContextCompletionFactory.getDefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)

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

Constructor and Description
RuleApplicationFactory.DefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)
RuleDeapplicationFactory.DeapplicationEngine(ContextModificationListener listener)