@Override public void accept(RuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { accept((BackwardLinkRuleVisitor<?>) 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(RuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { accept((BackwardLinkRuleVisitor<?>) visitor, premise, premises, producer); }