Ejemplo n.º 1
0
 public void PushBlock()
 {
     CurrentBlock = new BlockFormula() { ParentBlock = CurrentBlock };
 }
Ejemplo n.º 2
0
 public Formula Visit(BlockFormula formula)
 {
     return formula;
 }
Ejemplo n.º 3
0
 public virtual Formula Visit(BlockFormula formula)
 {
     Visit((Formula)formula);
     if (formula.Formulas != null) formula.Formulas.Accept(this);
     return visitor.Visit(formula);
 }