// 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 Test {{ out.print(": Test ("); indent++; }} after Test {{ out.print(" )"); indent--; }} before -> Test, metagameinfo, MetaGameInfo {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Test, iteratedgamehistory_list, IteratedGameHistory_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before IteratedGameHistory {{ out.print(": IteratedGameHistory ("); indent++; }} after IteratedGameHistory {{ out.print(" )"); indent--; }} before -> IteratedGameHistory, history, BasicGameStep_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before BasicGameStep {{ out.print(": BasicGameStep ("); indent++; }} after BasicGameStep {{ out.print(" )"); indent--; }} before -> BasicGameStep, relationselection, RelationSelection {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> BasicGameStep, firstplayer, FirstPlayer {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> BasicGameStep, secondplayer, SecondPlayer {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> BasicGameStep, negop, NegOp {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> BasicGameStep, payment, float {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : float \"" + dest + "\""); }} before -> AbsPlayer, player, Player {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before FirstPlayer {{ out.print(": FirstPlayer ("); indent++; }} after FirstPlayer {{ out.print(" )"); indent--; }} before -> FirstPlayer, instance, CSP {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before SecondPlayer {{ out.print(": SecondPlayer ("); indent++; }} after SecondPlayer {{ out.print(" )"); indent--; }} before -> SecondPlayer, literal_list, Literal_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before CSP {{ out.print(": CSP ("); indent++; }} after CSP {{ out.print(" )"); indent--; }} before -> Literal, variable, Variable {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Pos {{ out.print(": Pos ("); indent++; }} after Pos {{ out.print(" )"); indent--; }} before Neg {{ out.print(": Neg ("); indent++; }} after Neg {{ out.print(" )"); indent--; }} before RelationSelection {{ out.print(": RelationSelection ("); indent++; }} after RelationSelection {{ out.print(" )"); indent--; }} before -> RelationSelection, r1, RelationNumber {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> RelationSelection, r2, RelationNumber {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Player {{ out.print(": Player ("); indent++; }} after Player {{ out.print(" )"); indent--; }} before -> Player, name, Name {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Player, negop, NegOp {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Player, gainLoss, float {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : float \"" + dest + "\""); }} before NegOp {{ out.print(": NegOp ("); indent++; }} after NegOp {{ out.print(" )"); indent--; }} before MetaGameInfo {{ out.print(": MetaGameInfo ("); indent++; }} after MetaGameInfo {{ out.print(" )"); indent--; }} before -> MetaGameInfo, player1, MPlayer {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> MetaGameInfo, player2, MPlayer {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> MetaGameInfo, rsp, RelationSelectionPolicy {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before RelationSelectionPolicy {{ out.print(": RelationSelectionPolicy ("); indent++; }} after RelationSelectionPolicy {{ out.print(" )"); indent--; }} before -> RelationSelectionPolicy, rspName, RspName {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before MPlayer {{ out.print(": MPlayer ("); indent++; }} after MPlayer {{ out.print(" )"); indent--; }} before -> MPlayer, solver, Solver {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> MPlayer, rsp, InstanceSelection {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Solver {{ out.print(": Solver ("); indent++; }} after Solver {{ out.print(" )"); indent--; }} before -> Solver, solverName, SolverName {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before InstanceSelection {{ out.print(": InstanceSelection ("); indent++; }} after InstanceSelection {{ out.print(" )"); indent--; }} before -> InstanceSelection, instSelName, InstSelName {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before SolverName {{ out.print(": SolverName ("); indent++; }} after SolverName {{ out.print(" )"); indent--; }} before -> SolverName, v, String {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_v() + "\" "); }} before RspName {{ out.print(": RspName ("); indent++; }} after RspName {{ out.print(" )"); indent--; }} before -> RspName, v, String {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_v() + "\" "); }} before InstSelName {{ out.print(": InstSelName ("); indent++; }} after InstSelName {{ out.print(" )"); indent--; }} before -> InstSelName, string, String {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_string() + "\" "); }} before Name {{ out.print(": Name ("); indent++; }} after Name {{ out.print(" )"); indent--; }} before -> Name, v, Ident {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_v() + "\""); }} before RelationNumber {{ out.print(": RelationNumber ("); indent++; }} after RelationNumber {{ out.print(" )"); indent--; }} before -> RelationNumber, v, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before Variable {{ out.print(": Variable ("); indent++; }} after Variable {{ out.print(" )"); indent--; }} before -> Variable, v, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} 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(" "); out.print(" : int \"" + dest + "\""); }} before -> PrintVisitor, needSpace, boolean {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); 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(" "); }} 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(" "); 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(" "); 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(" "); 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(" "); out.print(" : int \"" + dest + "\""); }} before IteratedGameHistory_List {{ out.print(": IteratedGameHistory_List {"); indent++; }} after IteratedGameHistory_List {{ out.print(" }"); indent--; }} before -> IteratedGameHistory_List, first, Nonempty_IteratedGameHistory_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before BasicGameStep_List {{ out.print(": BasicGameStep_List {"); indent++; }} after BasicGameStep_List {{ out.print(" }"); indent--; }} before -> BasicGameStep_List, first, Nonempty_BasicGameStep_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} 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(" "); }} before Nonempty_IteratedGameHistory_List {{ out.print(": Nonempty_IteratedGameHistory_List ("); indent++; }} after Nonempty_IteratedGameHistory_List {{ out.print(" )"); indent--; }} before -> Nonempty_IteratedGameHistory_List, it, IteratedGameHistory {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_IteratedGameHistory_List, next, Nonempty_IteratedGameHistory_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Nonempty_BasicGameStep_List {{ out.print(": Nonempty_BasicGameStep_List ("); indent++; }} after Nonempty_BasicGameStep_List {{ out.print(" )"); indent--; }} before -> Nonempty_BasicGameStep_List, it, BasicGameStep {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Nonempty_BasicGameStep_List, next, Nonempty_BasicGameStep_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} 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(" "); }} before -> Nonempty_Literal_List, next, Nonempty_Literal_List {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} }