@Override public void accept(RuleVisitor<?> visitor, S premise, ContextPremises premises, ClassInferenceProducer producer) { accept((SubsumerRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void accept(RuleVisitor<?> visitor, S premise, ContextPremises premises, ClassInferenceProducer producer) { accept((SubsumerRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void accept(RuleVisitor<?> visitor, S premise, ContextPremises premises, ClassInferenceProducer producer) { accept((SubsumerRuleVisitor<?>) visitor, premise, premises, producer); }