Uses of Class
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule

Packages that use IndexedClass.OwlThingContextInitializationRule

org.semanticweb.elk.reasoner.saturation.rules

Uses of IndexedClass.OwlThingContextInitializationRule in org.semanticweb.elk.reasoner.saturation.rules

Methods in org.semanticweb.elk.reasoner.saturation.rules with parameters of type IndexedClass.OwlThingContextInitializationRule

void	RuleApplicationTimerVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedClass.OwlThingContextInitializationRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)