@Override public void accept(RuleVisitor<?> visitor, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { accept((SubsumerRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void applyTracing(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { // by default apply normally apply(premise, premises, producer); }
@Override public void accept(SubsumerRuleVisitor<?> visitor, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { accept((LinkedSubsumerRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void applyTracing(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { // by default apply normally apply(premise, premises, producer); }
@Override public void accept(RuleVisitor<?> visitor, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { accept((SubsumerRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void applyTracing(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { // by default apply normally apply(premise, premises, producer); }
@Override public void accept(SubsumerRuleVisitor<?> visitor, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { accept((LinkedSubsumerRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void accept(RuleVisitor<?> visitor, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { accept((SubsumerRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void accept(SubsumerRuleVisitor<?> visitor, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { accept((LinkedSubsumerRuleVisitor<?>) visitor, premise, premises, producer); }