Uses of Class
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

Packages that use IndexedSubClassOfAxiom.ThisCompositionRule

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

Uses of IndexedSubClassOfAxiom.ThisCompositionRule in org.semanticweb.elk.reasoner.saturation.rules

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

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