// 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, ClauseList {{ Formula it = (Formula) history.peek(); Class c = dest.getClass(); Object p = null; try { p = c.newInstance(); } catch(Exception e) { e.printStackTrace(); } it.set_clauses((ClauseList) p); history.push(p); }} after -> Formula, clauses, ClauseList {{ history.pop(); }} before -> Formula, satopt, SatOpt {{ Formula it = (Formula) history.peek(); Class c = dest.getClass(); Object p = null; try { p = c.newInstance(); } catch(Exception e) { e.printStackTrace(); } it.set_satopt((SatOpt) p); history.push(p); }} after -> Formula, satopt, SatOpt {{ history.pop(); }} before -> Formula, unsatopt, UnsatOpt {{ Formula it = (Formula) history.peek(); Class c = dest.getClass(); Object p = null; try { p = c.newInstance(); } catch(Exception e) { e.printStackTrace(); } it.set_unsatopt((UnsatOpt) p); history.push(p); }} after -> Formula, unsatopt, UnsatOpt {{ history.pop(); }} before -> SatCount, sats, Integer {{ SatCount it = (SatCount) history.peek(); it.set_sats(dest); }} before -> UnsatCount, unsats, Integer {{ UnsatCount it = (UnsatCount) history.peek(); it.set_unsats(dest); }} before -> ConcreteClause, weight, Weight {{ ConcreteClause it = (ConcreteClause) history.peek(); Weight p = new Weight(); it.set_weight(p); history.push(p); }} after -> ConcreteClause, weight, Weight {{ history.pop(); }} before -> ConcreteClause, literals, Literals {{ ConcreteClause it = (ConcreteClause) history.peek(); Class c = dest.getClass(); Object p = null; try { p = c.newInstance(); } catch(Exception e) { e.printStackTrace(); } it.set_literals((Literals) p); history.push(p); }} after -> ConcreteClause, literals, Literals {{ 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 -> ClauseCons, first, Clause {{ ClauseCons it = (ClauseCons) history.peek(); Class c = dest.getClass(); Object p = null; try { p = c.newInstance(); } catch(Exception e) { e.printStackTrace(); } it.set_first((Clause) p); history.push(p); }} after -> ClauseCons, first, Clause {{ history.pop(); }} before -> ClauseCons, rest, ClauseList {{ ClauseCons it = (ClauseCons) history.peek(); Class c = dest.getClass(); Object p = null; try { p = c.newInstance(); } catch(Exception e) { e.printStackTrace(); } it.set_rest((ClauseList) p); history.push(p); }} after -> ClauseCons, rest, ClauseList {{ history.pop(); }} before -> LiteralCons, first, Literal {{ LiteralCons it = (LiteralCons) history.peek(); Class c = dest.getClass(); Object p = null; try { p = c.newInstance(); } catch(Exception e) { e.printStackTrace(); } it.set_first((Literal) p); history.push(p); }} after -> LiteralCons, first, Literal {{ history.pop(); }} before -> LiteralCons, rest, LiteralList {{ LiteralCons it = (LiteralCons) history.peek(); Class c = dest.getClass(); Object p = null; try { p = c.newInstance(); } catch(Exception e) { e.printStackTrace(); } it.set_rest((LiteralList) p); history.push(p); }} after -> LiteralCons, rest, LiteralList {{ history.pop(); }} 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); }} }