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