// 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 -> Blackboard, players, Player_List {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before -> Blackboard, store, Store {{ out.print(""); needSpace = false; }} before -> Blackboard, transactions, Transaction_List {{ out.print(""); needSpace = false; }} before -> Blackboard, history, History {{ out.print(""); needSpace = false; }} after -> Blackboard, history, History {{ out.print(""); needSpace = false; }} before -> Player, name, PlayerName {{ out.print(""); needSpace = false; }} before -> Player, account, Money {{ out.print(""); needSpace = false; }} before -> Player, turn, boolean {{ out.print(""); needSpace = false; out.print(""); needSpace = false; space(); out.print(source.get_turn()); needSpace = true; }} after -> Player, turn, boolean {{ out.print(""); needSpace = false; }} after Player {{ out.print(""); needSpace = false; }} before -> PlayerName, v, Ident {{ out.print(""); needSpace = false; space(); out.print(source.get_v()); needSpace = true; }} after -> PlayerName, v, Ident {{ out.print(""); needSpace = false; }} before PublicKey {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before -> History, transaction_elist, Transaction_EList {{ out.print(""); needSpace = false; }} after -> History, transaction_elist, Transaction_EList {{ out.print(""); needSpace = false; }} before -> Store, derivative_elist, Derivative_EList {{ out.print(""); needSpace = false; out.println(); for (int i = 0; i < indent; i++) out.print("\t"); needSpace = false; }} after -> Store, derivative_elist, Derivative_EList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); needSpace = false; out.print(""); needSpace = false; }} before -> Transaction, trans, Trans {{ out.print(""); needSpace = false; }} after -> Transaction, trans, Trans {{ out.print(""); needSpace = false; }} before Buy {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before Create {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before DeliverR {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before Finish {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before DigitalSignature {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before -> Derivative, name, DerivativeName {{ out.print(""); needSpace = false; out.println(); for (int i = 0; i < indent; i++) out.print("\t"); needSpace = false; }} before -> Derivative, creator, PlayerName {{ out.print(""); needSpace = false; }} before -> Derivative, price, Money {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before -> Derivative, type, DerivativeType {{ out.print(""); needSpace = false; }} before -> Derivative, boughtBy, PlayerName {{ out.print(""); needSpace = false; }} after -> Derivative, boughtBy, PlayerName {{ out.print(""); needSpace = false; }} after -> Derivative, rawMaterial, RawMaterial {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); needSpace = false; }} after Derivative {{ out.print(""); needSpace = false; }} before -> FinishedProduct, assignment, Assignment {{ out.print(""); needSpace = false; }} after -> FinishedProduct, quality, Money {{ out.print(""); needSpace = false; }} before -> DerivativeName, name, Ident {{ out.print(""); needSpace = false; space(); out.print(source.get_name()); needSpace = true; }} after -> DerivativeName, name, Ident {{ out.print(""); needSpace = false; }} before -> Money, price, float {{ out.print(""); needSpace = false; space(); out.print(source.get_price()); needSpace = true; }} after -> Money, price, float {{ out.print(""); needSpace = false; }} before -> DerivativeType, clausetype_list, ClauseType_List {{ out.print(""); needSpace = false; }} after -> DerivativeType, clausetype_list, ClauseType_List {{ out.print(""); needSpace = false; }} before -> ClauseType, total_literal_num, TotalLiteralNum {{ out.print(""); needSpace = false; }} after -> ClauseType, pos_literal_num, PosLiteralNum {{ out.print(""); needSpace = false; }} before -> TotalLiteralNum, v, int {{ out.print(""); needSpace = false; space(); out.print(source.get_v()); needSpace = true; }} after -> TotalLiteralNum, v, int {{ out.print(""); needSpace = false; }} before -> PosLiteralNum, v, int {{ out.print(""); needSpace = false; space(); out.print(source.get_v()); needSpace = true; }} after -> PosLiteralNum, v, int {{ out.print(""); needSpace = false; }} before -> RawMaterial, clause_list, Clause_List {{ out.print(""); needSpace = false; }} after -> RawMaterial, clause_list, Clause_List {{ out.print(""); needSpace = false; }} before -> Clause, weight, Weight {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); needSpace = false; out.print(""); needSpace = false; }} before -> Clause, literal_list, Literal_List {{ out.print(""); needSpace = false; }} after -> Clause, literal_list, Literal_List {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before -> Weight, v, int {{ out.print(""); needSpace = false; space(); out.print(source.get_v()); needSpace = true; }} after -> Weight, v, int {{ out.print(""); needSpace = false; }} before -> Literal, lit, Lit {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); needSpace = false; out.print(""); needSpace = false; }} after -> Literal, lit, Lit {{ out.print(""); needSpace = false; }} before PosLiteral {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before NegLiteral {{ out.print(""); needSpace = false; out.print(""); needSpace = false; }} before -> Variable, v, Ident {{ out.print(""); needSpace = false; space(); out.print(source.get_v()); needSpace = true; }} after -> Variable, v, Ident {{ out.print(""); needSpace = false; }} before -> Assignment, literal_list, Literal_List {{ out.print(""); needSpace = false; }} after -> Assignment, literal_list, Literal_List {{ out.print(""); needSpace = false; }} before -> Quality, v, float {{ out.print(""); needSpace = false; space(); out.print(source.get_v()); needSpace = true; }} after -> Quality, v, float {{ out.print(""); needSpace = false; }} before -> Main, s, String {{ space(); out.print("\"" + source.get_s() + "\""); needSpace = true; }} before -> CTVisitor, pos, int {{ space(); out.print(source.get_pos()); needSpace = true; }} before -> CTVisitor, neg, int {{ space(); out.print(source.get_neg()); 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; }} }