// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    Output, -> Output,solution,Solution, -> Output,diagnostics,Diagnostics,
    Solution,
    SAT, -> SAT,assignment,Assignment,
    Assignment, -> Assignment,literal_list,Literal_List,
    Literal, -> Literal,variable,Variable,
    Pos,
    Neg,
    Variable, -> Variable,v,Ident,
    UNSAT, -> UNSAT,optionalproof,OptionalProof,
    Diagnostics, -> Diagnostics,up,UP, -> Diagnostics,d,D, -> Diagnostics,ssr,SSR, -> Diagnostics,b,B, -> Diagnostics,tssr,TSSR, -> Diagnostics,nv,NV,
    UP, -> UP,up,Number,
    D, -> D,d,Number,
    SSR, -> SSR,ssr,Number,
    B, -> B,b,Number,
    TSSR, -> TSSR,tssr,Number,
    NV, -> NV,nv,Number,
    OptionalProof,
    Proof, -> Proof,proof,Text,
    Nothing,
    Main,
    Literal_List, -> Literal_List,first,Nonempty_Literal_List,
    Nonempty_Literal_List, -> Nonempty_Literal_List,it,Literal, -> Nonempty_Literal_List,next,Nonempty_Literal_List
  } {{ }}
  after { 
    Output, -> Output,solution,Solution, -> Output,diagnostics,Diagnostics,
    Solution,
    SAT, -> SAT,assignment,Assignment,
    Assignment, -> Assignment,literal_list,Literal_List,
    Literal, -> Literal,variable,Variable,
    Pos,
    Neg,
    Variable, -> Variable,v,Ident,
    UNSAT, -> UNSAT,optionalproof,OptionalProof,
    Diagnostics, -> Diagnostics,up,UP, -> Diagnostics,d,D, -> Diagnostics,ssr,SSR, -> Diagnostics,b,B, -> Diagnostics,tssr,TSSR, -> Diagnostics,nv,NV,
    UP, -> UP,up,Number,
    D, -> D,d,Number,
    SSR, -> SSR,ssr,Number,
    B, -> B,b,Number,
    TSSR, -> TSSR,tssr,Number,
    NV, -> NV,nv,Number,
    OptionalProof,
    Proof, -> Proof,proof,Text,
    Nothing,
    Main,
    Literal_List, -> Literal_List,first,Nonempty_Literal_List,
    Nonempty_Literal_List, -> Nonempty_Literal_List,it,Literal, -> Nonempty_Literal_List,next,Nonempty_Literal_List
  } {{ }}
  finish {{ }}
}