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

Packages that use IndexedDisjointnessAxiom.ThisCompositionRule
org.semanticweb.elk.reasoner.saturation.rules   
 

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

Methods in org.semanticweb.elk.reasoner.saturation.rules with parameters of type IndexedDisjointnessAxiom.ThisCompositionRule
 void RuleApplicationTimerVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 



Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.