// This file is automatically generated by DemeterJ.

PrintVisitor {
  {{
    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; }
    PrintVisitor(java.io.PrintWriter out)     { set_out(out); }
    PrintVisitor(java.io.PrintStream out)
      { set_out(new java.io.PrintWriter(out, true)); }
  }}
  finish {{ out.flush(); }}

  protected void space() {{
    if (needSpace) out.print(" ");
    needSpace = false;
  }}

  before -> SAT, assignment, Assignment {{
    space();
    out.print("SAT");
    needSpace = true;
  }}

  before Neg {{
    out.print("!");
    needSpace = false;
  }}

  before -> Variable, v, Ident {{
    space();
    out.print(source.get_v());
    needSpace = true;
  }}

  before -> UNSAT, optionalproof, OptionalProof {{
    space();
    out.print("UNSAT");
    needSpace = true;
  }}

  before -> UP, up, Number {{
    space();
    out.print("UP:");
    needSpace = false;
    space();
    out.print(source.get_up());
    needSpace = true;
  }}

  before -> D, d, Number {{
    space();
    out.print("D:");
    needSpace = false;
    space();
    out.print(source.get_d());
    needSpace = true;
  }}

  before -> SSR, ssr, Number {{
    space();
    out.print("SSR:");
    needSpace = false;
    space();
    out.print(source.get_ssr());
    needSpace = true;
  }}

  before -> B, b, Number {{
    space();
    out.print("bias");
    needSpace = true;
    space();
    out.print("count:");
    needSpace = false;
    space();
    out.print(source.get_b());
    needSpace = true;
  }}

  before -> TSSR, tssr, Number {{
    space();
    out.print("learned");
    needSpace = true;
    space();
    out.print("literals:");
    needSpace = false;
    space();
    out.print(source.get_tssr());
    needSpace = true;
  }}

  before -> NV, nv, Number {{
    space();
    out.print("new");
    needSpace = true;
    space();
    out.print("vars:");
    needSpace = false;
    space();
    out.print(source.get_nv());
    needSpace = true;
  }}

  before -> Proof, proof, Text {{
    space();
    out.print("{{" + source.get_proof() + "}" + "}");
    needSpace = true;
  }}

  before -> PrintVisitor, indent, int {{
    space();
    out.print(source.get_indent());
    needSpace = true;
  }}

  before -> PrintVisitor, needSpace, boolean {{
    space();
    out.print(source.get_needSpace());
    needSpace = true;
  }}

  before -> CopyVisitor, copy, Object {{
    space();
    out.print(source.get_copy());
    needSpace = true;
  }}

  before -> SubgraphVisitor, is_equal, boolean {{
    space();
    out.print(source.get_is_equal());
    needSpace = true;
  }}

  before -> EqualVisitor, is_equal, boolean {{
    space();
    out.print(source.get_is_equal());
    needSpace = true;
  }}

  before -> DisplayVisitor, indent, int {{
    space();
    out.print(source.get_indent());
    needSpace = true;
  }}

  before -> TraceVisitor, indent, int {{
    space();
    out.print(source.get_indent());
    needSpace = true;
  }}

}