Uses of Class
org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink

Packages that use BackwardLink

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

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

Methods in org.semanticweb.elk.reasoner.saturation that return types with arguments of type BackwardLink

Modifier and Type	Method and Description
AbstractChain<ModifiableLinkRule<BackwardLink>>	ContextImpl.getBackwardLinkRuleChain()
ModifiableLinkRule<BackwardLink>	ContextImpl.getBackwardLinkRuleHead()

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

Modifier and Type	Method and Description
boolean	ContextImpl.addBackwardLink(BackwardLink link)
boolean	ContextImpl.containsBackwardLink(BackwardLink link)
boolean	ContextImpl.removeBackwardLink(BackwardLink link)

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

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

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)
Boolean	ConclusionOccurranceCheckingVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionDeletionVisitor.visit(BackwardLink link, Context context)
R	ConclusionVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionApplicationVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionDeapplicationVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionInsertionVisitor.visit(BackwardLink link, Context context)
Boolean	CombinedConclusionVisitor.visit(BackwardLink link, Context context)
Long	TimedConclusionVisitor.visit(BackwardLink link, Context context)
T	PreprocessedConclusionVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionSourceUnsaturationVisitor.visit(BackwardLink link, Context context)
Integer	CountingConclusionVisitor.visit(BackwardLink link, Context context)

Uses of BackwardLink in org.semanticweb.elk.reasoner.saturation.context

Methods in org.semanticweb.elk.reasoner.saturation.context that return types with arguments of type BackwardLink

Modifier and Type	Method and Description
Chain<ModifiableLinkRule<BackwardLink>>	Context.getBackwardLinkRuleChain()
LinkRule<BackwardLink>	Context.getBackwardLinkRuleHead()

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

Modifier and Type	Method and Description
boolean	Context.addBackwardLink(BackwardLink link) Adds the given BackwardLink to this Context.
boolean	Context.containsBackwardLink(BackwardLink link)
boolean	Context.removeBackwardLink(BackwardLink link)

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

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

Modifier and Type	Method and Description
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(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(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)