@Override public Void visit(IndexedClass element) { IndexedClassDecompositionRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); ComposedFromDecomposedSubsumerRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedIndividual element) { ComposedFromDecomposedSubsumerRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectSomeValuesFrom element) { IndexedObjectSomeValuesFromDecomposition.getInstance().accept( ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectHasSelf element) { IndexedObjectHasSelfDecomposition.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public void accept(LinkedSubsumerRuleVisitor<?> visitor, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { visitor.visit(this, premise, premises, producer); }
@Override public SuperClassFromSubClassRule create(ChainableSubsumerRule tail) { return new SuperClassFromSubClassRule(tail); } };
@Override public IndexedClassFromDefinitionRule create(ChainableSubsumerRule tail) { return new IndexedClassFromDefinitionRule(tail); } };
@Override public EquivalentClassSecondFromFirstRule create( ChainableSubsumerRule tail) { return new EquivalentClassSecondFromFirstRule(tail); } };
@Override public void accept(RuleVisitor<?> visitor, S premise, ContextPremises premises, ClassInferenceProducer producer) { accept((SubsumerRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void accept(SubsumerRuleVisitor<?> visitor, S premise, ContextPremises premises, ClassInferenceProducer producer) { accept((SubsumerDecompositionRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public Void visit(IndexedClass element) { IndexedClassDecompositionRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); ComposedFromDecomposedSubsumerRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedIndividual element) { ComposedFromDecomposedSubsumerRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectSomeValuesFrom element) { IndexedObjectSomeValuesFromDecomposition.getInstance().accept( ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectHasSelf element) { IndexedObjectHasSelfDecomposition.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public void accept(LinkedSubsumerRuleVisitor<?> visitor, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { visitor.visit(this, premise, premises, producer); }
@Override public Void visit(IndexedClass element) { IndexedClassDecompositionRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); ComposedFromDecomposedSubsumerRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedIndividual element) { ComposedFromDecomposedSubsumerRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectSomeValuesFrom element) { IndexedObjectSomeValuesFromDecomposition.getInstance().accept( ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectHasSelf element) { IndexedObjectHasSelfDecomposition.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public void accept(LinkedSubsumerRuleVisitor<?> visitor, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { visitor.visit(this, premise, premises, producer); }