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