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

Packages that use ExtendedSaturationStateWriter

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

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

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

Modifier and Type	Method and Description
ExtendedSaturationStateWriter	SaturationState.getExtendedWriter(ConclusionVisitor<?> conclusionVisitor)
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.

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

Methods in org.semanticweb.elk.reasoner.saturation.rules that return ExtendedSaturationStateWriter

Modifier and Type	Method and Description
protected ExtendedSaturationStateWriter	RuleApplicationFactory.DefaultEngine.getSaturationStateWriter()

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

Constructor and Description
ForwardDecompositionRuleApplicationVisitor(ExtendedSaturationStateWriter writer)
RuleApplicationFactory.DefaultEngine(ExtendedSaturationStateWriter saturationStateWriter, SaturationStatistics localStatistics)