public void PushBlock() { CurrentBlock = new BlockFormula() { ParentBlock = CurrentBlock }; }
public Formula Visit(BlockFormula formula) { return formula; }
public virtual Formula Visit(BlockFormula formula) { Visit((Formula)formula); if (formula.Formulas != null) formula.Formulas.Accept(this); return visitor.Visit(formula); }