// 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 Blackboard {{
    out.print(": Blackboard  (");
    indent++;
  }}
  after Blackboard {{
    out.print(" )");
    indent--;
  }}
  before -> Blackboard, players, Player_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<players> ");
  }}
  before -> Blackboard, store, Store {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<store> ");
  }}
  before -> Blackboard, transactions, Transaction_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<transactions> ");
  }}
  before -> Blackboard, history, History {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<history> ");
  }}
  before Player {{
    out.print(": Player  (");
    indent++;
  }}
  after Player {{
    out.print(" )");
    indent--;
  }}
  before -> Player, name, PlayerName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<name> ");
  }}
  before -> Player, turn, Turn {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<turn> ");
  }}
  before -> Player, account, Money {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<account> ");
  }}
  before -> Player, publickey, PublicKey {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<publickey> ");
  }}
  before PlayerName {{
    out.print(": PlayerName  (");
    indent++;
  }}
  after PlayerName {{
    out.print(" )");
    indent--;
  }}
  before -> PlayerName, v, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : String");
    out.print(" \"" + source.get_v() + "\" ");
  }}
  before Yes {{
    out.print(": Yes  (");
    indent++;
  }}
  after Yes {{
    out.print(" )");
    indent--;
  }}
  before Done {{
    out.print(": Done  (");
    indent++;
  }}
  after Done {{
    out.print(" )");
    indent--;
  }}
  before No {{
    out.print(": No  (");
    indent++;
  }}
  after No {{
    out.print(" )");
    indent--;
  }}
  before PublicKey {{
    out.print(": PublicKey  (");
    indent++;
  }}
  after PublicKey {{
    out.print(" )");
    indent--;
  }}
  before History {{
    out.print(": History  (");
    indent++;
  }}
  after History {{
    out.print(" )");
    indent--;
  }}
  before -> History, transaction_elist, Transaction_EList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<transaction_elist> ");
  }}
  before Store {{
    out.print(": Store  (");
    indent++;
  }}
  after Store {{
    out.print(" )");
    indent--;
  }}
  before -> Store, store_elist, Store_EList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<store_elist> ");
  }}
  before -> Transaction, playername, PlayerName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<playername> ");
  }}
  before -> Transaction, derivative, Derivative {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<derivative> ");
  }}
  before -> Transaction, digitalsignature, DigitalSignature {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<digitalsignature> ");
  }}
  before Buy {{
    out.print(": Buy  (");
    indent++;
  }}
  after Buy {{
    out.print(" )");
    indent--;
  }}
  before Offer {{
    out.print(": Offer  (");
    indent++;
  }}
  after Offer {{
    out.print(" )");
    indent--;
  }}
  before DeliverR {{
    out.print(": DeliverR  (");
    indent++;
  }}
  after DeliverR {{
    out.print(" )");
    indent--;
  }}
  before Finish {{
    out.print(": Finish  (");
    indent++;
  }}
  after Finish {{
    out.print(" )");
    indent--;
  }}
  before DigitalSignature {{
    out.print(": DigitalSignature  (");
    indent++;
  }}
  after DigitalSignature {{
    out.print(" )");
    indent--;
  }}
  before Derivative {{
    out.print(": Derivative  (");
    indent++;
  }}
  after Derivative {{
    out.print(" )");
    indent--;
  }}
  before -> Derivative, name, DerivativeName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<name> ");
  }}
  before -> Derivative, creator, PlayerName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<creator> ");
  }}
  before -> Derivative, price, Money {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<price> ");
  }}
  before -> Derivative, type, DerivativeType {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<type> ");
  }}
  before -> Derivative, boughtBy, PlayerName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<boughtBy> ");
  }}
  before -> Derivative, rawMaterial, RawMaterial {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<rawMaterial> ");
  }}
  before -> Derivative, finishedProduct, FinishedProduct {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<finishedProduct> ");
  }}
  before FinishedProduct {{
    out.print(": FinishedProduct  (");
    indent++;
  }}
  after FinishedProduct {{
    out.print(" )");
    indent--;
  }}
  before -> FinishedProduct, assignment, Assignment {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<assignment> ");
  }}
  before -> FinishedProduct, quality, Money {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<quality> ");
  }}
  before DerivativeName {{
    out.print(": DerivativeName  (");
    indent++;
  }}
  after DerivativeName {{
    out.print(" )");
    indent--;
  }}
  before -> DerivativeName, name, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<name> ");
    out.print(" : String");
    out.print(" \"" + source.get_name() + "\" ");
  }}
  before Money {{
    out.print(": Money  (");
    indent++;
  }}
  after Money {{
    out.print(" )");
    indent--;
  }}
  before -> Money, price, float {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<price> ");
    out.print(" : float \"" + dest + "\"");
  }}
  before BoughtBy {{
    out.print(": BoughtBy  (");
    indent++;
  }}
  after BoughtBy {{
    out.print(" )");
    indent--;
  }}
  before -> BoughtBy, buyer, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<buyer> ");
    out.print(" : String");
    out.print(" \"" + source.get_buyer() + "\" ");
  }}
  before DerivativeType {{
    out.print(": DerivativeType  (");
    indent++;
  }}
  after DerivativeType {{
    out.print(" )");
    indent--;
  }}
  before -> DerivativeType, clausetype_list, ClauseType_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<clausetype_list> ");
  }}
  before ClauseType {{
    out.print(": ClauseType  (");
    indent++;
  }}
  after ClauseType {{
    out.print(" )");
    indent--;
  }}
  before -> ClauseType, total_literal_num, TotalLiteralNum {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<total_literal_num> ");
  }}
  before -> ClauseType, pos_literal_num, PosLiteralNum {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<pos_literal_num> ");
  }}
  before TotalLiteralNum {{
    out.print(": TotalLiteralNum  (");
    indent++;
  }}
  after TotalLiteralNum {{
    out.print(" )");
    indent--;
  }}
  before -> TotalLiteralNum, number, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<number> ");
    out.print(" : Number");
    out.print(" \"" + source.get_number() + "\"");
  }}
  before PosLiteralNum {{
    out.print(": PosLiteralNum  (");
    indent++;
  }}
  after PosLiteralNum {{
    out.print(" )");
    indent--;
  }}
  before -> PosLiteralNum, number, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<number> ");
    out.print(" : Number");
    out.print(" \"" + source.get_number() + "\"");
  }}
  before RawMaterial {{
    out.print(": RawMaterial  (");
    indent++;
  }}
  after RawMaterial {{
    out.print(" )");
    indent--;
  }}
  before -> RawMaterial, clause_list, Clause_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<clause_list> ");
  }}
  before Clause {{
    out.print(": Clause  (");
    indent++;
  }}
  after Clause {{
    out.print(" )");
    indent--;
  }}
  before -> Clause, weight, Weight {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<weight> ");
  }}
  before -> Clause, lit_list, Lit_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<lit_list> ");
  }}
  before Weight {{
    out.print(": Weight  (");
    indent++;
  }}
  after Weight {{
    out.print(" )");
    indent--;
  }}
  before -> Weight, number, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<number> ");
    out.print(" : Number");
    out.print(" \"" + source.get_number() + "\"");
  }}
  before Lit {{
    out.print(": Lit  (");
    indent++;
  }}
  after Lit {{
    out.print(" )");
    indent--;
  }}
  before -> Lit, literal, Literal {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<literal> ");
  }}
  before PosLiteral {{
    out.print(": PosLiteral  (");
    indent++;
  }}
  after PosLiteral {{
    out.print(" )");
    indent--;
  }}
  before -> PosLiteral, variable, Variable {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<variable> ");
  }}
  before NegLiteral {{
    out.print(": NegLiteral  (");
    indent++;
  }}
  after NegLiteral {{
    out.print(" )");
    indent--;
  }}
  before -> NegLiteral, variable, Variable {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<variable> ");
  }}
  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 Assignment {{
    out.print(": Assignment  (");
    indent++;
  }}
  after Assignment {{
    out.print(" )");
    indent--;
  }}
  before -> Assignment, varassignment_list, VarAssignment_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<varassignment_list> ");
  }}
  before VarAssignment {{
    out.print(": VarAssignment  (");
    indent++;
  }}
  after VarAssignment {{
    out.print(" )");
    indent--;
  }}
  before -> VarAssignment, lit, Lit {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<lit> ");
  }}
  before Quality {{
    out.print(": Quality  (");
    indent++;
  }}
  after Quality {{
    out.print(" )");
    indent--;
  }}
  before -> Quality, number, Number {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<number> ");
    out.print(" : Number");
    out.print(" \"" + source.get_number() + "\"");
  }}
  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 Player_List {{
    out.print(": Player_List  {");
    indent++;
  }}
  after Player_List {{
    out.print(" }");
    indent--;
  }}
  before -> Player_List, first, Nonempty_Player_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Transaction_List {{
    out.print(": Transaction_List  {");
    indent++;
  }}
  after Transaction_List {{
    out.print(" }");
    indent--;
  }}
  before -> Transaction_List, first, Nonempty_Transaction_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Transaction_EList {{
    out.print(": Transaction_EList  {");
    indent++;
  }}
  after Transaction_EList {{
    out.print(" }");
    indent--;
  }}
  before -> Transaction_EList, first, Nonempty_Transaction_EList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Store_EList {{
    out.print(": Store_EList  {");
    indent++;
  }}
  after Store_EList {{
    out.print(" }");
    indent--;
  }}
  before -> Store_EList, first, Nonempty_Store_EList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before ClauseType_List {{
    out.print(": ClauseType_List  {");
    indent++;
  }}
  after ClauseType_List {{
    out.print(" }");
    indent--;
  }}
  before -> ClauseType_List, first, Nonempty_ClauseType_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  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("<first> ");
  }}
  before Lit_List {{
    out.print(": Lit_List  {");
    indent++;
  }}
  after Lit_List {{
    out.print(" }");
    indent--;
  }}
  before -> Lit_List, first, Nonempty_Lit_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before VarAssignment_List {{
    out.print(": VarAssignment_List  {");
    indent++;
  }}
  after VarAssignment_List {{
    out.print(" }");
    indent--;
  }}
  before -> VarAssignment_List, first, Nonempty_VarAssignment_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Nonempty_Player_List {{
    out.print(": Nonempty_Player_List  (");
    indent++;
  }}
  after Nonempty_Player_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Player_List, it, Player {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Player_List, next, Nonempty_Player_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Transaction_List {{
    out.print(": Nonempty_Transaction_List  (");
    indent++;
  }}
  after Nonempty_Transaction_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Transaction_List, it, Transaction {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Transaction_List, next, Nonempty_Transaction_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Transaction_EList {{
    out.print(": Nonempty_Transaction_EList  (");
    indent++;
  }}
  after Nonempty_Transaction_EList {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Transaction_EList, it, Transaction {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Transaction_EList, next, Nonempty_Transaction_EList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Store_EList {{
    out.print(": Nonempty_Store_EList  (");
    indent++;
  }}
  after Nonempty_Store_EList {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Store_EList, it, Store {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Store_EList, next, Nonempty_Store_EList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_ClauseType_List {{
    out.print(": Nonempty_ClauseType_List  (");
    indent++;
  }}
  after Nonempty_ClauseType_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_ClauseType_List, it, ClauseType {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_ClauseType_List, next, Nonempty_ClauseType_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  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("<it> ");
  }}
  before -> Nonempty_Clause_List, next, Nonempty_Clause_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Lit_List {{
    out.print(": Nonempty_Lit_List  (");
    indent++;
  }}
  after Nonempty_Lit_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Lit_List, it, Lit {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Lit_List, next, Nonempty_Lit_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_VarAssignment_List {{
    out.print(": Nonempty_VarAssignment_List  (");
    indent++;
  }}
  after Nonempty_VarAssignment_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_VarAssignment_List, it, VarAssignment {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_VarAssignment_List, next, Nonempty_VarAssignment_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
}