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