public override Formula Visit(UnaryFormula formula) { IncreaseIfNecessary(formula.Operand, _ => _.TypeDeclaration, increased => formula.Operand = increased); return base.Visit(formula); }
public Formula Visit(UnaryFormula formula) { return formula; }
public virtual Formula Visit(UnaryFormula formula) { Visit((Formula)formula); if (formula.Operand != null) formula.Operand.Accept(this); return visitor.Visit(formula); }