Commit f8f7b9ed authored by leberre's avatar leberre

Potential fix for Sebastian issue : set fields of existing order object to...

Potential fix for Sebastian issue : set fields of existing order object to null before setting a new order object to the solver.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1731 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent b5112292
......@@ -2069,6 +2069,10 @@ public class Solver<D extends DataStructureFactory> implements ISolverService,
* @see org.sat4j.minisat.core.ICDCL#setOrder(org.sat4j.minisat.core.IOrder)
*/
public void setOrder(IOrder h) {
if (this.order != null) {
this.order.setLits(null);
this.order.setPhaseSelectionStrategy(null);
}
this.order = h;
this.order.setLits(this.voc);
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment