// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    Formula, -> Formula,clauses,ClauseList, -> Formula,satopt,SatOpt, -> Formula,unsatopt,UnsatOpt,
    SatOpt,
    SatCount, -> SatCount,sats,Integer,
    SatAbsent,
    UnsatOpt,
    UnsatCount, -> UnsatCount,unsats,Integer,
    UnsatAbsent,
    Clause,
    SatClause,
    UnsatClause,
    ConcreteClause, -> ConcreteClause,weight,Weight, -> ConcreteClause,literals,Literals,
    Literals,
    SatLiteral,
    UnsatLiteral,
    Literal, -> Literal,variable,Variable,
    Positive,
    Negative,
    Variable, -> Variable,integer,Integer,
    Weight, -> Weight,v,Integer,
    Main, -> Main,s,String,
    ClauseList,
    ClauseCons, -> ClauseCons,first,Clause, -> ClauseCons,rest,ClauseList,
    ClauseEmpty,
    LiteralList,
    LiteralCons, -> LiteralCons,first,Literal, -> LiteralCons,rest,LiteralList,
    LiteralEmpty
  } {{ }}
  after { 
    Formula, -> Formula,clauses,ClauseList, -> Formula,satopt,SatOpt, -> Formula,unsatopt,UnsatOpt,
    SatOpt,
    SatCount, -> SatCount,sats,Integer,
    SatAbsent,
    UnsatOpt,
    UnsatCount, -> UnsatCount,unsats,Integer,
    UnsatAbsent,
    Clause,
    SatClause,
    UnsatClause,
    ConcreteClause, -> ConcreteClause,weight,Weight, -> ConcreteClause,literals,Literals,
    Literals,
    SatLiteral,
    UnsatLiteral,
    Literal, -> Literal,variable,Variable,
    Positive,
    Negative,
    Variable, -> Variable,integer,Integer,
    Weight, -> Weight,v,Integer,
    Main, -> Main,s,String,
    ClauseList,
    ClauseCons, -> ClauseCons,first,Clause, -> ClauseCons,rest,ClauseList,
    ClauseEmpty,
    LiteralList,
    LiteralCons, -> LiteralCons,first,Literal, -> LiteralCons,rest,LiteralList,
    LiteralEmpty
  } {{ }}
  finish {{ }}
}