// 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 Main {{ out.print(": Main ("); indent++; }} after Main {{ out.print(" )"); indent--; }} before Cd_graph {{ out.print(": Cd_graph ("); indent++; }} after Cd_graph {{ out.print(" )"); indent--; }} before -> Cd_graph, adjacencies, Adjacency_Nlist {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Adjacency {{ out.print(": Adjacency ("); indent++; }} after Adjacency {{ out.print(" )"); indent--; }} before -> Adjacency, source, Vertex {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Adjacency, parameters, Vertex_Comma_list {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Adjacency, ns, Neighbors {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Neighbors_wc, construct_ns, Any_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Construct_ns {{ out.print(": Construct_ns ("); indent++; }} after Construct_ns {{ out.print(" )"); indent--; }} before Alternat_ns {{ out.print(": Alternat_ns ("); indent++; }} after Alternat_ns {{ out.print(" )"); indent--; }} before -> Alternat_ns, alternat_ns, Term_Bar_list {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Alternat_ns, common, Common {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Common {{ out.print(": Common ("); indent++; }} after Common {{ out.print(" )"); indent--; }} before Repetit_n {{ out.print(": Repetit_n ("); indent++; }} after Repetit_n {{ out.print(" )"); indent--; }} before -> Repetit_n, sandwiched, Kernel_Sandwich {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Kernel {{ out.print(": Kernel ("); indent++; }} after Kernel {{ out.print(" )"); indent--; }} before -> Kernel, nonempty, Term {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Kernel, repeated, Term_Sandwich {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Vertex {{ out.print(": Vertex ("); indent++; }} after Vertex {{ out.print(" )"); indent--; }} before -> Vertex, vertex_name, Ident {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_vertex_name() + "\""); }} before Print_indent {{ out.print(": Print_indent ("); indent++; }} after Print_indent {{ out.print(" )"); indent--; }} before Print_unindent {{ out.print(": Print_unindent ("); indent++; }} after Print_unindent {{ out.print(" )"); indent--; }} before Print_skip {{ out.print(": Print_skip ("); indent++; }} after Print_skip {{ out.print(" )"); indent--; }} before Print_space {{ out.print(": Print_space ("); indent++; }} after Print_space {{ out.print(" )"); indent--; }} before Regular_syntax {{ out.print(": Regular_syntax ("); indent++; }} after Regular_syntax {{ out.print(" )"); indent--; }} before -> Regular_syntax, 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 -> Opt_labeled_term, vertex, Term {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Regular {{ out.print(": Regular ("); indent++; }} after Regular {{ out.print(" )"); indent--; }} before Labeled {{ out.print(": Labeled ("); indent++; }} after Labeled {{ out.print(" )"); indent--; }} before -> Labeled, label_name, Ident {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_label_name() + "\""); }} before -> Term, vertex, Vertex {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Term, module_name, Module_name {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Term, actual_parameters, Term_Comma_list {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Module_name {{ out.print(": Module_name ("); indent++; }} after Module_name {{ out.print(" )"); indent--; }} before -> Module_name, module_name, Ident {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_module_name() + "\""); }} before Normal {{ out.print(": Normal ("); indent++; }} after Normal {{ out.print(" )"); indent--; }} before Optional_term {{ out.print(": Optional_term ("); indent++; }} after Optional_term {{ out.print(" )"); indent--; }} before -> Optional_term, opt, Opt_labeled_term_Sandwich {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before FlattenVisitor {{ out.print(": FlattenVisitor ("); indent++; }} after FlattenVisitor {{ out.print(" )"); indent--; }} before UndefinedVisitor {{ out.print(": UndefinedVisitor ("); indent++; }} after UndefinedVisitor {{ out.print(" )"); indent--; }} before UniqueVisitor {{ out.print(": UniqueVisitor ("); indent++; }} after UniqueVisitor {{ out.print(" )"); indent--; }} 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 Adjacency_Nlist {{ out.print(": Adjacency_Nlist {"); indent++; }} after Adjacency_Nlist {{ out.print(" }"); indent--; }} before -> Adjacency_Nlist, first, Nonempty_Adjacency_Nlist {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Vertex_Comma_list {{ out.print(": Vertex_Comma_list {"); indent++; }} after Vertex_Comma_list {{ out.print(" }"); indent--; }} before -> Vertex_Comma_list, first, Nonempty_Vertex_Comma_list {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Any_vertex_List {{ out.print(": Any_vertex_List {"); indent++; }} after Any_vertex_List {{ out.print(" }"); indent--; }} before -> Any_vertex_List, first, Nonempty_Any_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Term_Bar_list {{ out.print(": Term_Bar_list {"); indent++; }} after Term_Bar_list {{ out.print(" }"); indent--; }} before -> Term_Bar_list, first, Nonempty_Term_Bar_list {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Kernel_Sandwich {{ out.print(": Kernel_Sandwich ("); indent++; }} after Kernel_Sandwich {{ out.print(" )"); indent--; }} before -> Kernel_Sandwich, first, Syntax_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Kernel_Sandwich, inner, Kernel {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Kernel_Sandwich, second, Syntax_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Term_Sandwich {{ out.print(": Term_Sandwich ("); indent++; }} after Term_Sandwich {{ out.print(" )"); indent--; }} before -> Term_Sandwich, first, Syntax_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Term_Sandwich, inner, Term {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Term_Sandwich, second, Syntax_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Term_Comma_list {{ out.print(": Term_Comma_list {"); indent++; }} after Term_Comma_list {{ out.print(" }"); indent--; }} before -> Term_Comma_list, first, Nonempty_Term_Comma_list {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Opt_labeled_term_Sandwich {{ out.print(": Opt_labeled_term_Sandwich ("); indent++; }} after Opt_labeled_term_Sandwich {{ out.print(" )"); indent--; }} before -> Opt_labeled_term_Sandwich, first, Syntax_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Opt_labeled_term_Sandwich, inner, Opt_labeled_term {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Opt_labeled_term_Sandwich, second, Syntax_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Syntax_vertex_List {{ out.print(": Syntax_vertex_List {"); indent++; }} after Syntax_vertex_List {{ out.print(" }"); indent--; }} before -> Syntax_vertex_List, first, Nonempty_Syntax_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Adjacency_Nlist {{ out.print(": Nonempty_Adjacency_Nlist ("); indent++; }} after Nonempty_Adjacency_Nlist {{ out.print(" )"); indent--; }} before -> Nonempty_Adjacency_Nlist, it, Adjacency {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Adjacency_Nlist, next, Nonempty_Adjacency_Nlist {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Vertex_Comma_list {{ out.print(": Nonempty_Vertex_Comma_list ("); indent++; }} after Nonempty_Vertex_Comma_list {{ out.print(" )"); indent--; }} before -> Nonempty_Vertex_Comma_list, it, Vertex {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Vertex_Comma_list, next, Nonempty_Vertex_Comma_list {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Any_vertex_List {{ out.print(": Nonempty_Any_vertex_List ("); indent++; }} after Nonempty_Any_vertex_List {{ out.print(" )"); indent--; }} before -> Nonempty_Any_vertex_List, it, Any_vertex {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Any_vertex_List, next, Nonempty_Any_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Term_Bar_list {{ out.print(": Nonempty_Term_Bar_list ("); indent++; }} after Nonempty_Term_Bar_list {{ out.print(" )"); indent--; }} before -> Nonempty_Term_Bar_list, it, Term {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Term_Bar_list, next, Nonempty_Term_Bar_list {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Term_Comma_list {{ out.print(": Nonempty_Term_Comma_list ("); indent++; }} after Nonempty_Term_Comma_list {{ out.print(" )"); indent--; }} before -> Nonempty_Term_Comma_list, it, Term {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Term_Comma_list, next, Nonempty_Term_Comma_list {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_Syntax_vertex_List {{ out.print(": Nonempty_Syntax_vertex_List ("); indent++; }} after Nonempty_Syntax_vertex_List {{ out.print(" )"); indent--; }} before -> Nonempty_Syntax_vertex_List, it, Syntax_vertex {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_Syntax_vertex_List, next, Nonempty_Syntax_vertex_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} }