/** * Copy constructor * * @param f */ public Formula(Formula f) { this(); for (Clause c : f.getClauses()) { Clause temp = new Clause(); int varSize = c.getVariables().size(); for (int i = 0; i < varSize; i++) { Integer newVar = new Integer(c.getVariables().get(i)); temp.addVariable(newVar); } this.clauses.add(temp); } this.getFinalVars().addAll(f.getFinalVars()); }