// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    WCNF, -> WCNF,preamble,Preamble, -> WCNF,formula,Formula,
    Preamble, -> Preamble,numVars,int, -> Preamble,numClasues,int,
    Formula, -> Formula,clauses,Clause_List,
    Clause, -> Clause,weight,Weight, -> Clause,literals,Literal_List, -> Clause,clauseterminator,ClauseTerminator,
    Weight, -> Weight,v,int,
    ClauseTerminator,
    Literal, -> Literal,variable,Variable,
    Variable,
    Numero, -> Numero,v,int,
    Name, -> Name,v,Ident,
    Pos,
    Neg,
    Main,
    Clause_List, -> Clause_List,first,Nonempty_Clause_List,
    Literal_List, -> Literal_List,first,Nonempty_Literal_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 { 
    WCNF, -> WCNF,preamble,Preamble, -> WCNF,formula,Formula,
    Preamble, -> Preamble,numVars,int, -> Preamble,numClasues,int,
    Formula, -> Formula,clauses,Clause_List,
    Clause, -> Clause,weight,Weight, -> Clause,literals,Literal_List, -> Clause,clauseterminator,ClauseTerminator,
    Weight, -> Weight,v,int,
    ClauseTerminator,
    Literal, -> Literal,variable,Variable,
    Variable,
    Numero, -> Numero,v,int,
    Name, -> Name,v,Ident,
    Pos,
    Neg,
    Main,
    Clause_List, -> Clause_List,first,Nonempty_Clause_List,
    Literal_List, -> Literal_List,first,Nonempty_Literal_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 {{ }}
}