// This file is automatically generated by DemeterJ. TraceVisitor { {{ protected java.io.PrintWriter out = new java.io.PrintWriter(System.out, true); java.io.PrintWriter get_out() { return out; } void set_out(java.io.PrintWriter new_out) { out = new_out; } TraceVisitor(java.io.PrintWriter out) { set_out(out); } TraceVisitor(java.io.PrintStream out) { set_out(new java.io.PrintWriter(out, true)); } }} finish {{ out.flush(); }} before Program {{ out.println("before Program"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Program {{ out.println("after Program"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Program, exps, Expression_PList {{ out.println("before -> Program, exps, Expression_PList "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Program, exps, Expression_PList {{ out.println("after -> Program, exps, Expression_PList "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Expression {{ out.println("before Expression"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Expression {{ out.println("after Expression"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before LetExp {{ out.println("before LetExp"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after LetExp {{ out.println("after LetExp"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> LetExp, assignment, Literal {{ out.println("before -> LetExp, assignment, Literal "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> LetExp, assignment, Literal {{ out.println("after -> LetExp, assignment, Literal "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> LetExp, body, Expression {{ out.println("before -> LetExp, body, Expression "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> LetExp, body, Expression {{ out.println("after -> LetExp, body, Expression "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before CNF {{ out.println("before CNF"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after CNF {{ out.println("after CNF"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> CNF, clauses, Clause_PList {{ out.println("before -> CNF, clauses, Clause_PList "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> CNF, clauses, Clause_PList {{ out.println("after -> CNF, clauses, Clause_PList "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> CNF, sat, ClauseCount {{ out.println("before -> CNF, sat, ClauseCount "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> CNF, sat, ClauseCount {{ out.println("after -> CNF, sat, ClauseCount "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> CNF, unsat, ClauseCount {{ out.println("before -> CNF, unsat, ClauseCount "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> CNF, unsat, ClauseCount {{ out.println("after -> CNF, unsat, ClauseCount "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Clause {{ out.println("before Clause"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Clause {{ out.println("after Clause"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Clause, weight, Weight {{ out.println("before -> Clause, weight, Weight "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Clause, weight, Weight {{ out.println("after -> Clause, weight, Weight "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Clause, literals, Literal_PList {{ out.println("before -> Clause, literals, Literal_PList "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Clause, literals, Literal_PList {{ out.println("after -> Clause, literals, Literal_PList "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Literal {{ out.println("before Literal"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Literal {{ out.println("after Literal"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Literal, variable, Variable {{ out.println("before -> Literal, variable, Variable "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Literal, variable, Variable {{ out.println("after -> Literal, variable, Variable "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Pos {{ out.println("before Pos"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Pos {{ out.println("after Pos"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Neg {{ out.println("before Neg"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Neg {{ out.println("after Neg"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Variable {{ out.println("before Variable"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Variable {{ out.println("after Variable"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Variable, v, Ident {{ out.println("before -> Variable, v, Ident "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Variable, v, Ident {{ out.println("after -> Variable, v, Ident "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Weight {{ out.println("before Weight"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Weight {{ out.println("after Weight"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Weight, v, int {{ out.println("before -> Weight, v, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Weight, v, int {{ out.println("after -> Weight, v, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before ClauseCount {{ out.println("before ClauseCount"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after ClauseCount {{ out.println("after ClauseCount"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> ClauseCount, v, int {{ out.println("before -> ClauseCount, v, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> ClauseCount, v, int {{ out.println("after -> ClauseCount, v, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Main {{ out.println("before Main"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Main {{ out.println("after Main"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Main, s, String {{ out.println("before -> Main, s, String "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Main, s, String {{ out.println("after -> Main, s, String "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before PrintVisitor {{ out.println("before PrintVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after PrintVisitor {{ out.println("after PrintVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> PrintVisitor, indent, int {{ out.println("before -> PrintVisitor, indent, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> PrintVisitor, indent, int {{ out.println("after -> PrintVisitor, indent, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> PrintVisitor, needSpace, boolean {{ out.println("before -> PrintVisitor, needSpace, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> PrintVisitor, needSpace, boolean {{ out.println("after -> PrintVisitor, needSpace, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before CopyVisitor {{ out.println("before CopyVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after CopyVisitor {{ out.println("after CopyVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> CopyVisitor, copy, Object {{ out.println("before -> CopyVisitor, copy, Object "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> CopyVisitor, copy, Object {{ out.println("after -> CopyVisitor, copy, Object "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before SubgraphVisitor {{ out.println("before SubgraphVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after SubgraphVisitor {{ out.println("after SubgraphVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> SubgraphVisitor, is_equal, boolean {{ out.println("before -> SubgraphVisitor, is_equal, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> SubgraphVisitor, is_equal, boolean {{ out.println("after -> SubgraphVisitor, is_equal, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before EqualVisitor {{ out.println("before EqualVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after EqualVisitor {{ out.println("after EqualVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> EqualVisitor, is_equal, boolean {{ out.println("before -> EqualVisitor, is_equal, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> EqualVisitor, is_equal, boolean {{ out.println("after -> EqualVisitor, is_equal, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before DisplayVisitor {{ out.println("before DisplayVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after DisplayVisitor {{ out.println("after DisplayVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> DisplayVisitor, indent, int {{ out.println("before -> DisplayVisitor, indent, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> DisplayVisitor, indent, int {{ out.println("after -> DisplayVisitor, indent, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before TraceVisitor {{ out.println("before TraceVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after TraceVisitor {{ out.println("after TraceVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> TraceVisitor, indent, int {{ out.println("before -> TraceVisitor, indent, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> TraceVisitor, indent, int {{ out.println("after -> TraceVisitor, indent, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before UniversalVisitor {{ out.println("before UniversalVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after UniversalVisitor {{ out.println("after UniversalVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Expression_PList {{ out.println("before Expression_PList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Expression_PList {{ out.println("after Expression_PList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Expression_PList, first, Nonempty_Expression_PList {{ out.println("before -> Expression_PList, first, Nonempty_Expression_PList "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Expression_PList, first, Nonempty_Expression_PList {{ out.println("after -> Expression_PList, first, Nonempty_Expression_PList "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Clause_PList {{ out.println("before Clause_PList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Clause_PList {{ out.println("after Clause_PList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Clause_PList, first, Nonempty_Clause_PList {{ out.println("before -> Clause_PList, first, Nonempty_Clause_PList "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Clause_PList, first, Nonempty_Clause_PList {{ out.println("after -> Clause_PList, first, Nonempty_Clause_PList "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Literal_PList {{ out.println("before Literal_PList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Literal_PList {{ out.println("after Literal_PList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Literal_PList, first, Nonempty_Literal_PList {{ out.println("before -> Literal_PList, first, Nonempty_Literal_PList "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Literal_PList, first, Nonempty_Literal_PList {{ out.println("after -> Literal_PList, first, Nonempty_Literal_PList "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Nonempty_Expression_PList {{ out.println("before Nonempty_Expression_PList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Nonempty_Expression_PList {{ out.println("after Nonempty_Expression_PList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Nonempty_Expression_PList, it, Expression {{ out.println("before -> Nonempty_Expression_PList, it, Expression "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Nonempty_Expression_PList, it, Expression {{ out.println("after -> Nonempty_Expression_PList, it, Expression "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Nonempty_Expression_PList, next, Nonempty_Expression_PList {{ out.println("before -> Nonempty_Expression_PList, next, Nonempty_Expression_PList "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Nonempty_Expression_PList, next, Nonempty_Expression_PList {{ out.println("after -> Nonempty_Expression_PList, next, Nonempty_Expression_PList "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Nonempty_Clause_PList {{ out.println("before Nonempty_Clause_PList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Nonempty_Clause_PList {{ out.println("after Nonempty_Clause_PList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Nonempty_Clause_PList, it, Clause {{ out.println("before -> Nonempty_Clause_PList, it, Clause "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Nonempty_Clause_PList, it, Clause {{ out.println("after -> Nonempty_Clause_PList, it, Clause "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Nonempty_Clause_PList, next, Nonempty_Clause_PList {{ out.println("before -> Nonempty_Clause_PList, next, Nonempty_Clause_PList "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Nonempty_Clause_PList, next, Nonempty_Clause_PList {{ out.println("after -> Nonempty_Clause_PList, next, Nonempty_Clause_PList "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before Nonempty_Literal_PList {{ out.println("before Nonempty_Literal_PList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after Nonempty_Literal_PList {{ out.println("after Nonempty_Literal_PList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Nonempty_Literal_PList, it, Literal {{ out.println("before -> Nonempty_Literal_PList, it, Literal "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Nonempty_Literal_PList, it, Literal {{ out.println("after -> Nonempty_Literal_PList, it, Literal "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} before -> Nonempty_Literal_PList, next, Nonempty_Literal_PList {{ out.println("before -> Nonempty_Literal_PList, next, Nonempty_Literal_PList "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} after -> Nonempty_Literal_PList, next, Nonempty_Literal_PList {{ out.println("after -> Nonempty_Literal_PList, next, Nonempty_Literal_PList "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} }