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

Packages that use BasicSaturationStateWriter

Package	Description
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.rules

Uses of BasicSaturationStateWriter in org.semanticweb.elk.reasoner.indexing.hierarchy

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type BasicSaturationStateWriter

Modifier and Type	Method and Description
void	IndexedObjectIntersectionOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectComplementOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	DirectIndex.ContextRootInitializationRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedClass.OwlThingContextInitializationRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectUnionOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectSomeValuesFrom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedSubClassOfAxiom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisContradictionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectIntersectionOf.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedObjectComplementOf.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	DirectIndex.ContextRootInitializationRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedClass.OwlThingContextInitializationRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedObjectUnionOf.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedObjectSomeValuesFrom.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedSubClassOfAxiom.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisContradictionRule.apply(BasicSaturationStateWriter writer, Context context)
static void	IndexedObjectSomeValuesFrom.generatePropagations(BasicSaturationStateWriter writer, IndexedPropertyChain property, Context context)

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

Subinterfaces of BasicSaturationStateWriter in org.semanticweb.elk.reasoner.saturation

Modifier and Type	Interface and Description
interface	ExtendedSaturationStateWriter The extended writer for situations when new contexts may need to be created/initialized or removed.

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

Modifier and Type	Method and Description
BasicSaturationStateWriter	SaturationState.getWriter(ConclusionVisitor<?> conclusionVisitor)
BasicSaturationStateWriter	SaturationState.getWriter(ContextModificationListener contextModificationListener, ConclusionVisitor<?> conclusionVisitor)

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

Modifier and Type	Method and Description
static void	SaturationUtils.initContext(Context context, BasicSaturationStateWriter writer, OntologyIndex index, RuleApplicationVisitor ruleAppVisitor) Applies all initialization rules to the context

Uses of BasicSaturationStateWriter in org.semanticweb.elk.reasoner.saturation.conclusions

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

Modifier and Type	Method and Description
void	ForwardLink.ThisBackwardLinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	Contradiction.ContradictionBackwardLinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	Propagation.ThisBackwardLinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	ForwardLink.ThisBackwardLinkRule.apply(BasicSaturationStateWriter engine, BackwardLink link)
void	Contradiction.ContradictionBackwardLinkRule.apply(BasicSaturationStateWriter engine, BackwardLink link)
void	Propagation.ThisBackwardLinkRule.apply(BasicSaturationStateWriter writer, BackwardLink link)
void	DisjointnessAxiom.apply(BasicSaturationStateWriter engine, Context context)
void	ForwardLink.apply(BasicSaturationStateWriter engine, Context context)
void	Contradiction.apply(BasicSaturationStateWriter engine, Context context)
void	Propagation.apply(BasicSaturationStateWriter writer, Context context)
void	NegativeSubsumer.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
void	BackwardLink.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
void	PositiveSubsumer.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
protected void	Subsumer.applyCompositionRules(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
void	Contradiction.deapply(BasicSaturationStateWriter engine, Context context)

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

Constructor and Description
ConclusionApplicationVisitor(BasicSaturationStateWriter writer, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
ConclusionDeapplicationVisitor(BasicSaturationStateWriter writer, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
ConclusionSourceUnsaturationVisitor(BasicSaturationStateWriter writer)

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

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

Modifier and Type	Method and Description
protected BasicSaturationStateWriter	ContextCleaningFactory.CleaningEngine.getSaturationStateWriter()
protected abstract BasicSaturationStateWriter	RuleApplicationFactory.BaseEngine.getSaturationStateWriter()
protected BasicSaturationStateWriter	ForwardDecompositionRuleApplicationVisitor.getSaturationStateWriter()
protected BasicSaturationStateWriter	RuleDeapplicationFactory.DeapplicationEngine.getSaturationStateWriter()
protected BasicSaturationStateWriter	BackwardDecompositionRuleApplicationVisitor.getSaturationStateWriter()

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

Modifier and Type	Method and Description
void	LinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, E element)
void	Rule.apply(BasicSaturationStateWriter engine, E element) Applying the rule to an element within a BasicSaturationStateWriter
protected ConclusionVisitor<Boolean>	RuleApplicationFactory.BaseEngine.getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter) Returns the base ConclusionVisitor that performs processing of Conclusions within a Context.
protected ConclusionVisitor<Boolean>	RuleDeapplicationFactory.DeapplicationEngine.getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter)
protected ConclusionVisitor<?>	RuleApplicationFactory.BaseEngine.getConclusionProcessor(BasicSaturationStateWriter saturationStateWriter) Returns the final ConclusionVisitor that is used by this RuleApplicationFactory.DefaultEngine for processing Conclusions within Contexts
void	RuleApplicationTimerVisitor.visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	BasicCompositionRuleApplicationVisitor.visit(Contradiction.ContradictionBackwardLinkRule rule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	RuleApplicationVisitor.visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	RuleApplicationCounterVisitor.visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	RuleApplicationTimerVisitor.visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(DirectIndex.ContextRootInitializationRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	BasicCompositionRuleApplicationVisitor.visit(ForwardLink.ThisBackwardLinkRule rule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	RuleApplicationVisitor.visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	RuleApplicationCounterVisitor.visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	RuleApplicationTimerVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedClass.OwlThingContextInitializationRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	BasicCompositionRuleApplicationVisitor.visit(Propagation.ThisBackwardLinkRule rule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	RuleApplicationVisitor.visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	RuleApplicationCounterVisitor.visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)

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

Constructor and Description
BackwardDecompositionRuleApplicationVisitor(BasicSaturationStateWriter writer)