Uses of Class
org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction.ContradictionBackwardLinkRule

Packages that use Contradiction.ContradictionBackwardLinkRule

org.semanticweb.elk.reasoner.saturation.rules

Uses of Contradiction.ContradictionBackwardLinkRule in org.semanticweb.elk.reasoner.saturation.rules

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

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)