Example #1
0
 public override void Visit(AstTreeNode node)
 {
     if (!(node is LiteralNode) && !(node is TermNode && node.Parent is NegationNode))
         writer.Write(new String(' ', 2 * node.Depth()));
 }