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

Packages that use ContextModificationListener

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

static ContextModificationListener

ContextModificationListener.DUMMY

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

static ContextModificationListener

SaturationUtils.addStatsToContextModificationListener(ContextModificationListener listener, ContextStatistics contextStats)

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

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

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

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

RuleApplicationFactory.DefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)

RuleDeapplicationFactory.DeapplicationEngine(ContextModificationListener listener)