// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    Main, -> Main,s,String,
    Program, -> Program,exps,Expression_NList,
    Expression,
    LetExp, -> LetExp,assignment,Literal, -> LetExp,body,Expression,
    CNF, -> CNF,clauses,Clause_NList,
    Clause, -> Clause,weight,Weight, -> Clause,body,Body,
    Body,
    Literals, -> Literals,literals,Literal_NList,
    Literal,
    Pos, -> Pos,variable,Variable,
    Neg, -> Neg,variable,Variable,
    True,
    False,
    Variable, -> Variable,v,Ident,
    Weight, -> Weight,v,int,
    ClauseCount, -> ClauseCount,v,int,
    Expression_NList, -> Expression_NList,first,Nonempty_Expression_NList,
    Clause_NList, -> Clause_NList,first,Nonempty_Clause_NList,
    Literal_NList, -> Literal_NList,first,Nonempty_Literal_NList,
    Nonempty_Expression_NList, -> Nonempty_Expression_NList,it,Expression, -> Nonempty_Expression_NList,next,Nonempty_Expression_NList,
    Nonempty_Clause_NList, -> Nonempty_Clause_NList,it,Clause, -> Nonempty_Clause_NList,next,Nonempty_Clause_NList,
    Nonempty_Literal_NList, -> Nonempty_Literal_NList,it,Literal, -> Nonempty_Literal_NList,next,Nonempty_Literal_NList
  } {{ }}
  after { 
    Main, -> Main,s,String,
    Program, -> Program,exps,Expression_NList,
    Expression,
    LetExp, -> LetExp,assignment,Literal, -> LetExp,body,Expression,
    CNF, -> CNF,clauses,Clause_NList,
    Clause, -> Clause,weight,Weight, -> Clause,body,Body,
    Body,
    Literals, -> Literals,literals,Literal_NList,
    Literal,
    Pos, -> Pos,variable,Variable,
    Neg, -> Neg,variable,Variable,
    True,
    False,
    Variable, -> Variable,v,Ident,
    Weight, -> Weight,v,int,
    ClauseCount, -> ClauseCount,v,int,
    Expression_NList, -> Expression_NList,first,Nonempty_Expression_NList,
    Clause_NList, -> Clause_NList,first,Nonempty_Clause_NList,
    Literal_NList, -> Literal_NList,first,Nonempty_Literal_NList,
    Nonempty_Expression_NList, -> Nonempty_Expression_NList,it,Expression, -> Nonempty_Expression_NList,next,Nonempty_Expression_NList,
    Nonempty_Clause_NList, -> Nonempty_Clause_NList,it,Clause, -> Nonempty_Clause_NList,next,Nonempty_Clause_NList,
    Nonempty_Literal_NList, -> Nonempty_Literal_NList,it,Literal, -> Nonempty_Literal_NList,next,Nonempty_Literal_NList
  } {{ }}
  finish {{ }}
}