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