// This file is automatically generated by DemeterJ.

CopyVisitor {
  {{
    private java.util.Stack history = new java.util.Stack();
    public CopyVisitor(Class firstClass) {
      try {
        history.push(firstClass.newInstance());
      } catch(Exception e) {
        e.printStackTrace();
      }
    }
  }}
  get copy {{ return history.peek(); }}
  return Object {{ get_copy() }}


  before -> Program, test, CNFwithType_PList {{
    Program it = (Program) history.peek();
    CNFwithType_PList p = new CNFwithType_PList();
    it.set_test(p);
    history.push(p);
  }}

  after -> Program, test, CNFwithType_PList {{
    history.pop();
  }}

  before -> CNFwithType, cnf, CNF {{
    CNFwithType it = (CNFwithType) history.peek();
    CNF p = new CNF();
    it.set_cnf(p);
    history.push(p);
  }}

  after -> CNFwithType, cnf, CNF {{
    history.pop();
  }}

  before -> CNFwithType, cnftype, CNFType {{
    CNFwithType it = (CNFwithType) history.peek();
    CNFType p = new CNFType();
    it.set_cnftype(p);
    history.push(p);
  }}

  after -> CNFwithType, cnftype, CNFType {{
    history.pop();
  }}

  before -> CNFwithType, correct, Boolean {{
    CNFwithType it = (CNFwithType) history.peek();
    it.set_correct(dest);
  }}

  before -> CNFType, pair_plist, Pair_PList {{
    CNFType it = (CNFType) history.peek();
    Pair_PList p = new Pair_PList();
    it.set_pair_plist(p);
    history.push(p);
  }}

  after -> CNFType, pair_plist, Pair_PList {{
    history.pop();
  }}

  before -> Pair, listLength, int {{
    Pair it = (Pair) history.peek();
    it.set_listLength(dest);
  }}

  before -> Pair, posLits, int {{
    Pair it = (Pair) history.peek();
    it.set_posLits(dest);
  }}

  before -> FinishedProduct, exps, Expression_PList {{
    FinishedProduct it = (FinishedProduct) history.peek();
    Expression_PList p = new Expression_PList();
    it.set_exps(p);
    history.push(p);
  }}

  after -> FinishedProduct, exps, Expression_PList {{
    history.pop();
  }}

  before -> LetExp, assignment, Literal {{
    LetExp it = (LetExp) history.peek();
    Class c = dest.getClass();
    Object p = null;
    try {
      p = c.newInstance();
    } catch(Exception e) {
      e.printStackTrace();
    }
    it.set_assignment((Literal) p);
    history.push(p);
  }}

  after -> LetExp, assignment, Literal {{
    history.pop();
  }}

  before -> LetExp, body, Expression {{
    LetExp it = (LetExp) history.peek();
    Class c = dest.getClass();
    Object p = null;
    try {
      p = c.newInstance();
    } catch(Exception e) {
      e.printStackTrace();
    }
    it.set_body((Expression) p);
    history.push(p);
  }}

  after -> LetExp, body, Expression {{
    history.pop();
  }}

  before -> CNF, clauses, Clause_PList {{
    CNF it = (CNF) history.peek();
    Clause_PList p = new Clause_PList();
    it.set_clauses(p);
    history.push(p);
  }}

  after -> CNF, clauses, Clause_PList {{
    history.pop();
  }}

  before -> CNF, sat, ClauseCount {{
    CNF it = (CNF) history.peek();
    ClauseCount p = new ClauseCount();
    it.set_sat(p);
    history.push(p);
  }}

  after -> CNF, sat, ClauseCount {{
    history.pop();
  }}

  before -> CNF, unsat, ClauseCount {{
    CNF it = (CNF) history.peek();
    ClauseCount p = new ClauseCount();
    it.set_unsat(p);
    history.push(p);
  }}

  after -> CNF, unsat, ClauseCount {{
    history.pop();
  }}

  before -> Clause, weight, Weight {{
    Clause it = (Clause) history.peek();
    Weight p = new Weight();
    it.set_weight(p);
    history.push(p);
  }}

  after -> Clause, weight, Weight {{
    history.pop();
  }}

  before -> Clause, literals, Literal_PList {{
    Clause it = (Clause) history.peek();
    Literal_PList p = new Literal_PList();
    it.set_literals(p);
    history.push(p);
  }}

  after -> Clause, literals, Literal_PList {{
    history.pop();
  }}

  before -> Pos, variable, Variable {{
    Pos it = (Pos) history.peek();
    Variable p = new Variable();
    it.set_variable(p);
    history.push(p);
  }}

  after -> Pos, variable, Variable {{
    history.pop();
  }}

  before -> Neg, variable, Variable {{
    Neg it = (Neg) history.peek();
    Variable p = new Variable();
    it.set_variable(p);
    history.push(p);
  }}

  after -> Neg, variable, Variable {{
    history.pop();
  }}

  before -> Variable, v, Ident {{
    Variable it = (Variable) history.peek();
    it.set_v(dest);
  }}

  before -> Weight, v, int {{
    Weight it = (Weight) history.peek();
    it.set_v(dest);
  }}

  before -> ClauseCount, v, int {{
    ClauseCount it = (ClauseCount) history.peek();
    it.set_v(dest);
  }}

  before -> Main, s, String {{
    Main it = (Main) history.peek();
    it.set_s(dest);
  }}

  before -> PrintVisitor, indent, int {{
    PrintVisitor it = (PrintVisitor) history.peek();
    it.set_indent(dest);
  }}

  before -> PrintVisitor, needSpace, boolean {{
    PrintVisitor it = (PrintVisitor) history.peek();
    it.set_needSpace(dest);
  }}

  before -> SubgraphVisitor, is_equal, boolean {{
    SubgraphVisitor it = (SubgraphVisitor) history.peek();
    it.set_is_equal(dest);
  }}

  before -> EqualVisitor, is_equal, boolean {{
    EqualVisitor it = (EqualVisitor) history.peek();
    it.set_is_equal(dest);
  }}

  before -> DisplayVisitor, indent, int {{
    DisplayVisitor it = (DisplayVisitor) history.peek();
    it.set_indent(dest);
  }}

  before -> TraceVisitor, indent, int {{
    TraceVisitor it = (TraceVisitor) history.peek();
    it.set_indent(dest);
  }}

  before -> CNFwithType_PList, first, Nonempty_CNFwithType_PList {{
    CNFwithType_PList it = (CNFwithType_PList) history.peek();
    Nonempty_CNFwithType_PList p = new Nonempty_CNFwithType_PList();
    it.set_first(p);
    history.push(p);
  }}

  after -> CNFwithType_PList, first, Nonempty_CNFwithType_PList {{
    history.pop();
  }}

  before -> Pair_PList, first, Nonempty_Pair_PList {{
    Pair_PList it = (Pair_PList) history.peek();
    Nonempty_Pair_PList p = new Nonempty_Pair_PList();
    it.set_first(p);
    history.push(p);
  }}

  after -> Pair_PList, first, Nonempty_Pair_PList {{
    history.pop();
  }}

  before -> Expression_PList, first, Nonempty_Expression_PList {{
    Expression_PList it = (Expression_PList) history.peek();
    Nonempty_Expression_PList p = new Nonempty_Expression_PList();
    it.set_first(p);
    history.push(p);
  }}

  after -> Expression_PList, first, Nonempty_Expression_PList {{
    history.pop();
  }}

  before -> Clause_PList, first, Nonempty_Clause_PList {{
    Clause_PList it = (Clause_PList) history.peek();
    Nonempty_Clause_PList p = new Nonempty_Clause_PList();
    it.set_first(p);
    history.push(p);
  }}

  after -> Clause_PList, first, Nonempty_Clause_PList {{
    history.pop();
  }}

  before -> Literal_PList, first, Nonempty_Literal_PList {{
    Literal_PList it = (Literal_PList) history.peek();
    Nonempty_Literal_PList p = new Nonempty_Literal_PList();
    it.set_first(p);
    history.push(p);
  }}

  after -> Literal_PList, first, Nonempty_Literal_PList {{
    history.pop();
  }}

  before -> Nonempty_CNFwithType_PList, it, CNFwithType {{
    Nonempty_CNFwithType_PList it = (Nonempty_CNFwithType_PList) history.peek();
    CNFwithType p = new CNFwithType();
    it.set_it(p);
    history.push(p);
  }}

  after -> Nonempty_CNFwithType_PList, it, CNFwithType {{
    history.pop();
  }}

  before -> Nonempty_CNFwithType_PList, next, Nonempty_CNFwithType_PList {{
    Nonempty_CNFwithType_PList it = (Nonempty_CNFwithType_PList) history.peek();
    Nonempty_CNFwithType_PList p = new Nonempty_CNFwithType_PList();
    it.set_next(p);
    history.push(p);
  }}

  after -> Nonempty_CNFwithType_PList, next, Nonempty_CNFwithType_PList {{
    history.pop();
  }}

  before -> Nonempty_Pair_PList, it, Pair {{
    Nonempty_Pair_PList it = (Nonempty_Pair_PList) history.peek();
    Pair p = new Pair();
    it.set_it(p);
    history.push(p);
  }}

  after -> Nonempty_Pair_PList, it, Pair {{
    history.pop();
  }}

  before -> Nonempty_Pair_PList, next, Nonempty_Pair_PList {{
    Nonempty_Pair_PList it = (Nonempty_Pair_PList) history.peek();
    Nonempty_Pair_PList p = new Nonempty_Pair_PList();
    it.set_next(p);
    history.push(p);
  }}

  after -> Nonempty_Pair_PList, next, Nonempty_Pair_PList {{
    history.pop();
  }}

  before -> Nonempty_Expression_PList, it, Expression {{
    Nonempty_Expression_PList it = (Nonempty_Expression_PList) history.peek();
    Class c = dest.getClass();
    Object p = null;
    try {
      p = c.newInstance();
    } catch(Exception e) {
      e.printStackTrace();
    }
    it.set_it((Expression) p);
    history.push(p);
  }}

  after -> Nonempty_Expression_PList, it, Expression {{
    history.pop();
  }}

  before -> Nonempty_Expression_PList, next, Nonempty_Expression_PList {{
    Nonempty_Expression_PList it = (Nonempty_Expression_PList) history.peek();
    Nonempty_Expression_PList p = new Nonempty_Expression_PList();
    it.set_next(p);
    history.push(p);
  }}

  after -> Nonempty_Expression_PList, next, Nonempty_Expression_PList {{
    history.pop();
  }}

  before -> Nonempty_Clause_PList, it, Clause {{
    Nonempty_Clause_PList it = (Nonempty_Clause_PList) history.peek();
    Clause p = new Clause();
    it.set_it(p);
    history.push(p);
  }}

  after -> Nonempty_Clause_PList, it, Clause {{
    history.pop();
  }}

  before -> Nonempty_Clause_PList, next, Nonempty_Clause_PList {{
    Nonempty_Clause_PList it = (Nonempty_Clause_PList) history.peek();
    Nonempty_Clause_PList p = new Nonempty_Clause_PList();
    it.set_next(p);
    history.push(p);
  }}

  after -> Nonempty_Clause_PList, next, Nonempty_Clause_PList {{
    history.pop();
  }}

  before -> Nonempty_Literal_PList, it, Literal {{
    Nonempty_Literal_PList it = (Nonempty_Literal_PList) history.peek();
    Class c = dest.getClass();
    Object p = null;
    try {
      p = c.newInstance();
    } catch(Exception e) {
      e.printStackTrace();
    }
    it.set_it((Literal) p);
    history.push(p);
  }}

  after -> Nonempty_Literal_PList, it, Literal {{
    history.pop();
  }}

  before -> Nonempty_Literal_PList, next, Nonempty_Literal_PList {{
    Nonempty_Literal_PList it = (Nonempty_Literal_PList) history.peek();
    Nonempty_Literal_PList p = new Nonempty_Literal_PList();
    it.set_next(p);
    history.push(p);
  }}

  after -> Nonempty_Literal_PList, next, Nonempty_Literal_PList {{
    history.pop();
  }}

}