public Formula Visit(ReflectiveNewFormula formula) { return formula; }
public virtual Formula Visit(ReflectiveNewFormula formula) { Visit((NewFormula)formula); return visitor.Visit(formula); }
public Formula Visit(ReflectiveNewFormula formula) { return formula; }
public virtual Formula Visit(ReflectiveNewFormula formula) { Visit((NewFormula)formula); return visitor.Visit(formula); }