/**
* 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());
}
