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