// 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 -> FinishedProduct, assignment, Assignment {{
    out.print("<finishedProduct>");
    needSpace = false;
  }}

  after -> FinishedProduct, rawmaterial, RawMaterial {{
    out.print("</finishedProduct>");
    needSpace = false;
  }}

  before -> ConstraintType, relation, Relation {{
    out.print("<constraintType>");
    needSpace = false;
  }}

  after -> ConstraintType, relation, Relation {{
    out.print("</constraintType>");
    needSpace = false;
  }}

  before -> RawMaterial, constraintlist, ConstraintList {{
    out.print("<rawMaterial>");
    needSpace = false;
  }}

  after -> RawMaterial, constraintlist, ConstraintList {{
    out.print("</rawMaterial>");
    needSpace = false;
  }}

  before -> Constraint, weight, Weight {{
    out.println();
    for (int i = 0; i < indent; i++) out.print("\t");
    needSpace = false;
    out.print("<constraint>");
    needSpace = false;
  }}

  before -> Constraint, variablelist, VariableList {{
    out.print("<variables>");
    needSpace = false;
  }}

  after -> Constraint, variablelist, VariableList {{
    out.print("</variables>");
    needSpace = false;
    out.print("</constraint>");
    needSpace = false;
  }}

  before -> Relation, v, int {{
    out.print("<relation>");
    needSpace = false;
    space();
    out.print(source.get_v());
    needSpace = true;
  }}

  after -> Relation, v, int {{
    out.print("</relation>");
    needSpace = false;
  }}

  before -> Weight, v, int {{
    out.print("<weight>");
    needSpace = false;
    space();
    out.print(source.get_v());
    needSpace = true;
  }}

  after -> Weight, v, int {{
    out.print("</weight>");
    needSpace = false;
  }}

  before -> Literal, lit, Lit {{
    out.println();
    for (int i = 0; i < indent; i++) out.print("\t");
    needSpace = false;
    out.print("<lit>");
    needSpace = false;
  }}

  after -> Literal, lit, Lit {{
    out.print("</lit>");
    needSpace = false;
  }}

  before PosLiteral {{
    out.print("<pos>");
    needSpace = false;
    out.print("</pos>");
    needSpace = false;
  }}

  before NegLiteral {{
    out.print("<neg>");
    needSpace = false;
    out.print("</neg>");
    needSpace = false;
  }}

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

  after -> Variable, v, Ident {{
    out.print("</v>");
    needSpace = false;
  }}

  before -> Assignment, literallist, LiteralList {{
    out.print("<assignment>");
    needSpace = false;
  }}

  after -> Assignment, literallist, LiteralList {{
    out.print("</assignment>");
    needSpace = false;
  }}

  before -> Main, s, String {{
    space();
    out.print("\"" + source.get_s() + "\"");
    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;
  }}

}