Uses of Class
org.semanticweb.elk.reasoner.saturation.conclusions.Propagation.ThisBackwardLinkRule

Packages that use Propagation.ThisBackwardLinkRule

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

Uses of Propagation.ThisBackwardLinkRule in org.semanticweb.elk.reasoner.saturation.rules

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

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