// 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,turn,Turn, -> Player,account,Money, -> Player,publickey,PublicKey,
    PlayerName, -> PlayerName,v,String,
    Turn,
    Yes,
    Done,
    No,
    PublicKey,
    History, -> History,transaction_elist,Transaction_EList,
    Store, -> Store,store_elist,Store_EList,
    Transaction, -> Transaction,playername,PlayerName, -> Transaction,derivative,Derivative, -> Transaction,digitalsignature,DigitalSignature,
    Buy,
    Offer,
    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,String,
    Money, -> Money,price,float,
    BoughtBy, -> BoughtBy,buyer,String,
    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,lit_list,Lit_List,
    Weight, -> Weight,number,Number,
    Lit, -> Lit,literal,Literal,
    Literal,
    PosLiteral, -> PosLiteral,variable,Variable,
    NegLiteral, -> NegLiteral,variable,Variable,
    Variable, -> Variable,v,Ident,
    Assignment, -> Assignment,varassignment_list,VarAssignment_List,
    VarAssignment, -> VarAssignment,lit,Lit,
    Quality, -> Quality,number,Number,
    Main,
    Player_List, -> Player_List,first,Nonempty_Player_List,
    Transaction_List, -> Transaction_List,first,Nonempty_Transaction_List,
    Transaction_EList, -> Transaction_EList,first,Nonempty_Transaction_EList,
    Store_EList, -> Store_EList,first,Nonempty_Store_EList,
    ClauseType_List, -> ClauseType_List,first,Nonempty_ClauseType_List,
    Clause_List, -> Clause_List,first,Nonempty_Clause_List,
    Lit_List, -> Lit_List,first,Nonempty_Lit_List,
    VarAssignment_List, -> VarAssignment_List,first,Nonempty_VarAssignment_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_Store_EList, -> Nonempty_Store_EList,it,Store, -> Nonempty_Store_EList,next,Nonempty_Store_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_Lit_List, -> Nonempty_Lit_List,it,Lit, -> Nonempty_Lit_List,next,Nonempty_Lit_List,
    Nonempty_VarAssignment_List, -> Nonempty_VarAssignment_List,it,VarAssignment, -> Nonempty_VarAssignment_List,next,Nonempty_VarAssignment_List
  } {{ }}
  after { 
    Blackboard, -> Blackboard,players,Player_List, -> Blackboard,store,Store, -> Blackboard,transactions,Transaction_List, -> Blackboard,history,History,
    Player, -> Player,name,PlayerName, -> Player,turn,Turn, -> Player,account,Money, -> Player,publickey,PublicKey,
    PlayerName, -> PlayerName,v,String,
    Turn,
    Yes,
    Done,
    No,
    PublicKey,
    History, -> History,transaction_elist,Transaction_EList,
    Store, -> Store,store_elist,Store_EList,
    Transaction, -> Transaction,playername,PlayerName, -> Transaction,derivative,Derivative, -> Transaction,digitalsignature,DigitalSignature,
    Buy,
    Offer,
    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,String,
    Money, -> Money,price,float,
    BoughtBy, -> BoughtBy,buyer,String,
    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,lit_list,Lit_List,
    Weight, -> Weight,number,Number,
    Lit, -> Lit,literal,Literal,
    Literal,
    PosLiteral, -> PosLiteral,variable,Variable,
    NegLiteral, -> NegLiteral,variable,Variable,
    Variable, -> Variable,v,Ident,
    Assignment, -> Assignment,varassignment_list,VarAssignment_List,
    VarAssignment, -> VarAssignment,lit,Lit,
    Quality, -> Quality,number,Number,
    Main,
    Player_List, -> Player_List,first,Nonempty_Player_List,
    Transaction_List, -> Transaction_List,first,Nonempty_Transaction_List,
    Transaction_EList, -> Transaction_EList,first,Nonempty_Transaction_EList,
    Store_EList, -> Store_EList,first,Nonempty_Store_EList,
    ClauseType_List, -> ClauseType_List,first,Nonempty_ClauseType_List,
    Clause_List, -> Clause_List,first,Nonempty_Clause_List,
    Lit_List, -> Lit_List,first,Nonempty_Lit_List,
    VarAssignment_List, -> VarAssignment_List,first,Nonempty_VarAssignment_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_Store_EList, -> Nonempty_Store_EList,it,Store, -> Nonempty_Store_EList,next,Nonempty_Store_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_Lit_List, -> Nonempty_Lit_List,it,Lit, -> Nonempty_Lit_List,next,Nonempty_Lit_List,
    Nonempty_VarAssignment_List, -> Nonempty_VarAssignment_List,it,VarAssignment, -> Nonempty_VarAssignment_List,next,Nonempty_VarAssignment_List
  } {{ }}
  finish {{ }}
}