// 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 Binder {{ out.print(": Binder ("); indent++; }} after Binder {{ out.print(" )"); indent--; }} before -> Binder, clauses, Clause_List {{ 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, head, Atom {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Clause, body, Atom_CList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Atom {{ out.print(": Atom ("); indent++; }} after Atom {{ out.print(" )"); indent--; }} before -> Atom, context, Term {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Atom, pred, Constant {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Atom, args, Term_PCList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before IdentConstant {{ out.print(": IdentConstant ("); indent++; }} after IdentConstant {{ out.print(" )"); indent--; }} before -> IdentConstant, ident, Ident {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_ident() + "\""); }} before StringConstant {{ out.print(": StringConstant ("); indent++; }} after StringConstant {{ out.print(" )"); indent--; }} before -> StringConstant, string, String {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_string() + "\" "); }} before VariableName {{ out.print(": VariableName ("); indent++; }} after VariableName {{ out.print(" )"); indent--; }} before -> VariableName, ident, Ident {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_ident() + "\""); }} before UIdent {{ out.print(": UIdent ("); indent++; }} after UIdent {{ out.print(" )"); indent--; }} before -> UIdent, ident, Ident {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_ident() + "\""); }} 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 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 Atom_CList {{ out.print(": Atom_CList {"); indent++; }} after Atom_CList {{ out.print(" }"); indent--; }} before -> Atom_CList, first, Nonempty_Atom_CList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Term_PCList {{ out.print(": Term_PCList {"); indent++; }} after Term_PCList {{ out.print(" }"); indent--; }} before -> Term_PCList, first, Nonempty_Term_PCList {{ 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_Atom_CList {{ out.print(": Nonempty_Atom_CList ("); indent++; }} after Nonempty_Atom_CList {{ out.print(" )"); indent--; }} before -> Nonempty_Atom_CList, it, Atom {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Atom_CList, next, Nonempty_Atom_CList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Term_PCList {{ out.print(": Nonempty_Term_PCList ("); indent++; }} after Nonempty_Term_PCList {{ out.print(" )"); indent--; }} before -> Nonempty_Term_PCList, it, Term {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Term_PCList, next, Nonempty_Term_PCList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} }