// This file is automatically generated by DemeterJ. DisplayVisitor { {{ 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; } DisplayVisitor(java.io.PrintWriter out) { set_out(out); } DisplayVisitor(java.io.PrintStream out) { set_out(new java.io.PrintWriter(out, true)); } }} finish {{ out.flush(); }} before Program {{ out.print(": Program ("); indent++; }} after Program {{ out.print(" )"); indent--; }} before -> Program, exps, Expression_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before LetExp {{ out.print(": LetExp ("); indent++; }} after LetExp {{ out.print(" )"); indent--; }} before -> LetExp, assignment, Literal {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> LetExp, body, Expression {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before CNF {{ out.print(": CNF ("); indent++; }} after CNF {{ out.print(" )"); indent--; }} before -> CNF, cnftype, CNFType {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> CNF, clauses, Clause_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> CNF, sat, ClauseCount {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> CNF, unsat, ClauseCount {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before CNFType {{ out.print(": CNFType ("); indent++; }} after CNFType {{ out.print(" )"); indent--; }} before -> CNFType, clausetype_list, ClauseType_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before ClauseType {{ out.print(": ClauseType ("); indent++; }} after ClauseType {{ out.print(" )"); indent--; }} before -> ClauseType, length, ClauseLength {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> ClauseType, pos, ClauseLength {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Clause {{ out.print(": Clause ("); indent++; }} after Clause {{ out.print(" )"); indent--; }} before -> Clause, weight, Weight {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Clause, literals, Literals {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Literals {{ out.print(": Literals ("); indent++; }} after Literals {{ out.print(" )"); indent--; }} before -> Literals, literals, Literal_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Pos {{ out.print(": Pos ("); indent++; }} after Pos {{ out.print(" )"); indent--; }} before -> Pos, variable, Variable {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Neg {{ out.print(": Neg ("); indent++; }} after Neg {{ out.print(" )"); indent--; }} before -> Neg, variable, Variable {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Variable {{ out.print(": Variable ("); indent++; }} after Variable {{ out.print(" )"); indent--; }} before -> Variable, v, Ident {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_v() + "\""); }} before Weight {{ out.print(": Weight ("); indent++; }} after Weight {{ out.print(" )"); indent--; }} before -> Weight, v, String {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_v() + "\" "); }} before ClauseCount {{ out.print(": ClauseCount ("); indent++; }} after ClauseCount {{ out.print(" )"); indent--; }} before -> ClauseCount, v, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before ClauseLength {{ out.print(": ClauseLength ("); indent++; }} after ClauseLength {{ out.print(" )"); indent--; }} before -> ClauseLength, v, String {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_v() + "\" "); }} before Main {{ out.print(": Main ("); indent++; }} after Main {{ out.print(" )"); indent--; }} before -> Main, s, String {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_s() + "\" "); }} before PrintVisitor {{ out.print(": PrintVisitor ("); indent++; }} after PrintVisitor {{ out.print(" )"); indent--; }} before -> PrintVisitor, indent, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before -> PrintVisitor, needSpace, boolean {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : boolean \"" + dest + "\""); }} before CopyVisitor {{ out.print(": CopyVisitor ("); indent++; }} after CopyVisitor {{ out.print(" )"); indent--; }} before -> CopyVisitor, copy, Object {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before SubgraphVisitor {{ out.print(": SubgraphVisitor ("); indent++; }} after SubgraphVisitor {{ out.print(" )"); indent--; }} before -> SubgraphVisitor, is_equal, boolean {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : boolean \"" + dest + "\""); }} before EqualVisitor {{ out.print(": EqualVisitor ("); indent++; }} after EqualVisitor {{ out.print(" )"); indent--; }} before -> EqualVisitor, is_equal, boolean {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : boolean \"" + dest + "\""); }} before DisplayVisitor {{ out.print(": DisplayVisitor ("); indent++; }} after DisplayVisitor {{ out.print(" )"); indent--; }} before -> DisplayVisitor, indent, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before TraceVisitor {{ out.print(": TraceVisitor ("); indent++; }} after TraceVisitor {{ out.print(" )"); indent--; }} before -> TraceVisitor, indent, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before Expression_List {{ out.print(": Expression_List {"); indent++; }} after Expression_List {{ out.print(" }"); indent--; }} before -> Expression_List, first, Nonempty_Expression_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Clause_List {{ out.print(": Clause_List {"); indent++; }} after Clause_List {{ out.print(" }"); indent--; }} before -> Clause_List, first, Nonempty_Clause_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before ClauseType_List {{ out.print(": ClauseType_List {"); indent++; }} after ClauseType_List {{ out.print(" }"); indent--; }} before -> ClauseType_List, first, Nonempty_ClauseType_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Literal_List {{ out.print(": Literal_List {"); indent++; }} after Literal_List {{ out.print(" }"); indent--; }} before -> Literal_List, first, Nonempty_Literal_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Expression_List {{ out.print(": Nonempty_Expression_List ("); indent++; }} after Nonempty_Expression_List {{ out.print(" )"); indent--; }} before -> Nonempty_Expression_List, it, Expression {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Expression_List, next, Nonempty_Expression_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Clause_List {{ out.print(": Nonempty_Clause_List ("); indent++; }} after Nonempty_Clause_List {{ out.print(" )"); indent--; }} before -> Nonempty_Clause_List, it, Clause {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Clause_List, next, Nonempty_Clause_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_ClauseType_List {{ out.print(": Nonempty_ClauseType_List ("); indent++; }} after Nonempty_ClauseType_List {{ out.print(" )"); indent--; }} before -> Nonempty_ClauseType_List, it, ClauseType {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_ClauseType_List, next, Nonempty_ClauseType_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Literal_List {{ out.print(": Nonempty_Literal_List ("); indent++; }} after Nonempty_Literal_List {{ out.print(" )"); indent--; }} before -> Nonempty_Literal_List, it, Literal {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Literal_List, next, Nonempty_Literal_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} }