Uses of Class
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

Packages that use IndexedDisjointnessAxiom.ThisContradictionRule

org.semanticweb.elk.reasoner.saturation.rules

Uses of IndexedDisjointnessAxiom.ThisContradictionRule in org.semanticweb.elk.reasoner.saturation.rules

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

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)