// 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 Output {{
    out.print(": Output  (");
    indent++;
  }}
  after Output {{
    out.print(" )");
    indent--;
  }}
  before -> Output, solution, Solution {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<solution> ");
  }}
  before -> Output, diagnostics, Diagnostics {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<diagnostics> ");
  }}
  before SAT {{
    out.print(": SAT  (");
    indent++;
  }}
  after SAT {{
    out.print(" )");
    indent--;
  }}
  before -> SAT, assignment, Assignment {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<assignment> ");
  }}
  before Assignment {{
    out.print(": Assignment  (");
    indent++;
  }}
  after Assignment {{
    out.print(" )");
    indent--;
  }}
  before -> Assignment, literal_list, Literal_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<literal_list> ");
  }}
  before -> Literal, variable, Variable {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<variable> ");
  }}
  before Pos {{
    out.print(": Pos  (");
    indent++;
  }}
  after Pos {{
    out.print(" )");
    indent--;
  }}
  before Neg {{
    out.print(": Neg  (");
    indent++;
  }}
  after Neg {{
    out.print(" )");
    indent--;
  }}
  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("<v> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_v() + "\"");
  }}
  before UNSAT {{
    out.print(": UNSAT  (");
    indent++;
  }}
  after UNSAT {{
    out.print(" )");
    indent--;
  }}
  before -> UNSAT, optionalproof, OptionalProof {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<optionalproof> ");
  }}
  before Diagnostics {{
    out.print(": Diagnostics  (");
    indent++;
  }}
  after Diagnostics {{
    out.print(" )");
    indent--;
  }}
  before -> Diagnostics, up, UP {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<up> ");
  }}
  before -> Diagnostics, d, D {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<d> ");
  }}
  before -> Diagnostics, ssr, SSR {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ssr> ");
  }}
  before -> Diagnostics, b, B {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<b> ");
  }}
  before -> Diagnostics, tssr, TSSR {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<tssr> ");
  }}
  before -> Diagnostics, nv, NV {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<nv> ");
  }}
  before UP {{
    out.print(": UP  (");
    indent++;
  }}
  after UP {{
    out.print(" )");
    indent--;
  }}
  before -> UP, up, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<up> ");
    out.print(" : Number");
    out.print(" \"" + source.get_up() + "\"");
  }}
  before D {{
    out.print(": D  (");
    indent++;
  }}
  after D {{
    out.print(" )");
    indent--;
  }}
  before -> D, d, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<d> ");
    out.print(" : Number");
    out.print(" \"" + source.get_d() + "\"");
  }}
  before SSR {{
    out.print(": SSR  (");
    indent++;
  }}
  after SSR {{
    out.print(" )");
    indent--;
  }}
  before -> SSR, ssr, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ssr> ");
    out.print(" : Number");
    out.print(" \"" + source.get_ssr() + "\"");
  }}
  before B {{
    out.print(": B  (");
    indent++;
  }}
  after B {{
    out.print(" )");
    indent--;
  }}
  before -> B, b, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<b> ");
    out.print(" : Number");
    out.print(" \"" + source.get_b() + "\"");
  }}
  before TSSR {{
    out.print(": TSSR  (");
    indent++;
  }}
  after TSSR {{
    out.print(" )");
    indent--;
  }}
  before -> TSSR, tssr, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<tssr> ");
    out.print(" : Number");
    out.print(" \"" + source.get_tssr() + "\"");
  }}
  before NV {{
    out.print(": NV  (");
    indent++;
  }}
  after NV {{
    out.print(" )");
    indent--;
  }}
  before -> NV, nv, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<nv> ");
    out.print(" : Number");
    out.print(" \"" + source.get_nv() + "\"");
  }}
  before Proof {{
    out.print(": Proof  (");
    indent++;
  }}
  after Proof {{
    out.print(" )");
    indent--;
  }}
  before -> Proof, proof, Text {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<proof> ");
    out.print(" : Text");
    out.print(" {{" + source.get_proof() + "}" + "}" + " ");
  }}
  before Nothing {{
    out.print(": Nothing  (");
    indent++;
  }}
  after Nothing {{
    out.print(" )");
    indent--;
  }}
  before Main {{
    out.print(": Main  (");
    indent++;
  }}
  after Main {{
    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("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before -> PrintVisitor, needSpace, boolean {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<needSpace> ");
    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("<copy> ");
  }}
  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("<is_equal> ");
    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("<is_equal> ");
    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("<indent> ");
    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("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  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("<first> ");
  }}
  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("<it> ");
  }}
  before -> Nonempty_Literal_List, next, Nonempty_Literal_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
}