// This file is automatically generated by DemeterJ. UniversalVisitor { start {{ }} before { Blackboard, -> Blackboard,players,Player_List, -> Blackboard,store,Store, -> Blackboard,transactions,Transaction_List, -> Blackboard,history,History, Player, -> Player,name,PlayerName, -> Player,account,Money, -> Player,turn,boolean, -> Player,publickey,PublicKey, PlayerName, -> PlayerName,v,Ident, PublicKey, History, -> History,transaction_elist,Transaction_EList, Store, -> Store,derivative_elist,Derivative_EList, Transaction, -> Transaction,playername,PlayerName, -> Transaction,derivative,Derivative, -> Transaction,digitalsignature,DigitalSignature, Buy, Create, DeliverR, Finish, DigitalSignature, Derivative, -> Derivative,name,DerivativeName, -> Derivative,creator,PlayerName, -> Derivative,price,Money, -> Derivative,type,DerivativeType, -> Derivative,boughtBy,PlayerName, -> Derivative,rawMaterial,RawMaterial, -> Derivative,finishedProduct,FinishedProduct, FinishedProduct, -> FinishedProduct,assignment,Assignment, -> FinishedProduct,quality,Money, DerivativeName, -> DerivativeName,name,Ident, Money, -> Money,price,float, DerivativeType, -> DerivativeType,clausetype_list,ClauseType_List, ClauseType, -> ClauseType,total_literal_num,TotalLiteralNum, -> ClauseType,pos_literal_num,PosLiteralNum, TotalLiteralNum, -> TotalLiteralNum,number,Number, PosLiteralNum, -> PosLiteralNum,number,Number, RawMaterial, -> RawMaterial,clause_list,Clause_List, Clause, -> Clause,weight,Weight, -> Clause,literal_list,Literal_List, Weight, -> Weight,number,Number, Literal, PosLiteral, -> PosLiteral,variable,Variable, NegLiteral, -> NegLiteral,variable,Variable, Variable, -> Variable,v,Ident, Assignment, -> Assignment,literal_list,Literal_List, Quality, -> Quality,v,float, Main, -> Main,s,String, Player_List, -> Player_List,first,Nonempty_Player_List, Transaction_List, -> Transaction_List,first,Nonempty_Transaction_List, Transaction_EList, -> Transaction_EList,first,Nonempty_Transaction_EList, Derivative_EList, -> Derivative_EList,first,Nonempty_Derivative_EList, ClauseType_List, -> ClauseType_List,first,Nonempty_ClauseType_List, Clause_List, -> Clause_List,first,Nonempty_Clause_List, Literal_List, -> Literal_List,first,Nonempty_Literal_List, Nonempty_Player_List, -> Nonempty_Player_List,it,Player, -> Nonempty_Player_List,next,Nonempty_Player_List, Nonempty_Transaction_List, -> Nonempty_Transaction_List,it,Transaction, -> Nonempty_Transaction_List,next,Nonempty_Transaction_List, Nonempty_Transaction_EList, -> Nonempty_Transaction_EList,it,Transaction, -> Nonempty_Transaction_EList,next,Nonempty_Transaction_EList, Nonempty_Derivative_EList, -> Nonempty_Derivative_EList,it,Derivative, -> Nonempty_Derivative_EList,next,Nonempty_Derivative_EList, Nonempty_ClauseType_List, -> Nonempty_ClauseType_List,it,ClauseType, -> Nonempty_ClauseType_List,next,Nonempty_ClauseType_List, Nonempty_Clause_List, -> Nonempty_Clause_List,it,Clause, -> Nonempty_Clause_List,next,Nonempty_Clause_List, Nonempty_Literal_List, -> Nonempty_Literal_List,it,Literal, -> Nonempty_Literal_List,next,Nonempty_Literal_List } {{ }} after { Blackboard, -> Blackboard,players,Player_List, -> Blackboard,store,Store, -> Blackboard,transactions,Transaction_List, -> Blackboard,history,History, Player, -> Player,name,PlayerName, -> Player,account,Money, -> Player,turn,boolean, -> Player,publickey,PublicKey, PlayerName, -> PlayerName,v,Ident, PublicKey, History, -> History,transaction_elist,Transaction_EList, Store, -> Store,derivative_elist,Derivative_EList, Transaction, -> Transaction,playername,PlayerName, -> Transaction,derivative,Derivative, -> Transaction,digitalsignature,DigitalSignature, Buy, Create, DeliverR, Finish, DigitalSignature, Derivative, -> Derivative,name,DerivativeName, -> Derivative,creator,PlayerName, -> Derivative,price,Money, -> Derivative,type,DerivativeType, -> Derivative,boughtBy,PlayerName, -> Derivative,rawMaterial,RawMaterial, -> Derivative,finishedProduct,FinishedProduct, FinishedProduct, -> FinishedProduct,assignment,Assignment, -> FinishedProduct,quality,Money, DerivativeName, -> DerivativeName,name,Ident, Money, -> Money,price,float, DerivativeType, -> DerivativeType,clausetype_list,ClauseType_List, ClauseType, -> ClauseType,total_literal_num,TotalLiteralNum, -> ClauseType,pos_literal_num,PosLiteralNum, TotalLiteralNum, -> TotalLiteralNum,number,Number, PosLiteralNum, -> PosLiteralNum,number,Number, RawMaterial, -> RawMaterial,clause_list,Clause_List, Clause, -> Clause,weight,Weight, -> Clause,literal_list,Literal_List, Weight, -> Weight,number,Number, Literal, PosLiteral, -> PosLiteral,variable,Variable, NegLiteral, -> NegLiteral,variable,Variable, Variable, -> Variable,v,Ident, Assignment, -> Assignment,literal_list,Literal_List, Quality, -> Quality,v,float, Main, -> Main,s,String, Player_List, -> Player_List,first,Nonempty_Player_List, Transaction_List, -> Transaction_List,first,Nonempty_Transaction_List, Transaction_EList, -> Transaction_EList,first,Nonempty_Transaction_EList, Derivative_EList, -> Derivative_EList,first,Nonempty_Derivative_EList, ClauseType_List, -> ClauseType_List,first,Nonempty_ClauseType_List, Clause_List, -> Clause_List,first,Nonempty_Clause_List, Literal_List, -> Literal_List,first,Nonempty_Literal_List, Nonempty_Player_List, -> Nonempty_Player_List,it,Player, -> Nonempty_Player_List,next,Nonempty_Player_List, Nonempty_Transaction_List, -> Nonempty_Transaction_List,it,Transaction, -> Nonempty_Transaction_List,next,Nonempty_Transaction_List, Nonempty_Transaction_EList, -> Nonempty_Transaction_EList,it,Transaction, -> Nonempty_Transaction_EList,next,Nonempty_Transaction_EList, Nonempty_Derivative_EList, -> Nonempty_Derivative_EList,it,Derivative, -> Nonempty_Derivative_EList,next,Nonempty_Derivative_EList, Nonempty_ClauseType_List, -> Nonempty_ClauseType_List,it,ClauseType, -> Nonempty_ClauseType_List,next,Nonempty_ClauseType_List, Nonempty_Clause_List, -> Nonempty_Clause_List,it,Clause, -> Nonempty_Clause_List,next,Nonempty_Clause_List, Nonempty_Literal_List, -> Nonempty_Literal_List,it,Literal, -> Nonempty_Literal_List,next,Nonempty_Literal_List } {{ }} finish {{ }} }