Uses of Class
org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

Packages that use RuleApplicationFactory.BaseEngine

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

Uses of RuleApplicationFactory.BaseEngine in org.semanticweb.elk.reasoner.saturation.rules

Subclasses of RuleApplicationFactory.BaseEngine in org.semanticweb.elk.reasoner.saturation.rules

Modifier and Type	Class and Description
class	ContextCleaningFactory.CleaningEngine A RuleDeapplicationFactory that its own saturation state riter that does not produce conclusions if their source is marked as saturated.
class	RuleApplicationFactory.DefaultEngine Default rule application engine which can create new contexts via ExtendedSaturationStateWriter (either directly when a new IndexedClassExpression is submitted or during decomposition
class	RuleDeapplicationFactory.DeapplicationEngine

Methods in org.semanticweb.elk.reasoner.saturation.rules that return RuleApplicationFactory.BaseEngine

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