// 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 -> Formula, clauses, Clause_List {{
    Formula it = (Formula) history.peek();
    Clause_List p = new Clause_List();
    it.set_clauses(p);
    history.push(p);
  }}

  after -> Formula, clauses, Clause_List {{
    history.pop();
  }}

  before -> Formula, sats, int {{
    Formula it = (Formula) history.peek();
    it.set_sats(dest);
  }}

  before -> Formula, unsats, int {{
    Formula it = (Formula) history.peek();
    it.set_unsats(dest);
  }}

  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, Literals {{
    Clause it = (Clause) history.peek();
    Literals p = new Literals();
    it.set_literals(p);
    history.push(p);
  }}

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

  before -> Literals, literal_list, Literal_List {{
    Literals it = (Literals) history.peek();
    Literal_List p = new Literal_List();
    it.set_literal_list(p);
    history.push(p);
  }}

  after -> Literals, literal_list, Literal_List {{
    history.pop();
  }}

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

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

  before -> Variable, integer, Integer {{
    Variable it = (Variable) history.peek();
    it.set_integer(dest);
  }}

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

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

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

  after -> ReduceVisitor, curLiteral, Literal {{
    history.pop();
  }}

  before -> ReduceVisitor, newClauses, Clause_List {{
    ReduceVisitor it = (ReduceVisitor) history.peek();
    Clause_List p = new Clause_List();
    it.set_newClauses(p);
    history.push(p);
  }}

  after -> ReduceVisitor, newClauses, Clause_List {{
    history.pop();
  }}

  before -> ReduceVisitor, sats, int {{
    ReduceVisitor it = (ReduceVisitor) history.peek();
    it.set_sats(dest);
  }}

  before -> ReduceVisitor, unsats, int {{
    ReduceVisitor it = (ReduceVisitor) history.peek();
    it.set_unsats(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 -> Clause_List, first, Nonempty_Clause_List {{
    Clause_List it = (Clause_List) history.peek();
    Nonempty_Clause_List p = new Nonempty_Clause_List();
    it.set_first(p);
    history.push(p);
  }}

  after -> Clause_List, first, Nonempty_Clause_List {{
    history.pop();
  }}

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

  after -> Literal_List, first, Nonempty_Literal_List {{
    history.pop();
  }}

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

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

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

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

  before -> Nonempty_Literal_List, it, Literal {{
    Nonempty_Literal_List it = (Nonempty_Literal_List) 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_List, it, Literal {{
    history.pop();
  }}

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

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

}