Commit db3d1a85 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Move PBSearchListener setter in createReader.

parent 97043f8d
......@@ -64,6 +64,12 @@ public class LanceurPseudo2007 extends LanceurPseudo2005 {
@Override
protected Reader createReader(ISolver theSolver, String problemname) {
String veripb = System.getProperty("veripb");
if (veripb != null) {
PBSearchListener<ISolverService> listener = new PBSearchListenerAdapter<ISolverService>() {
};
this.solver.setSearchListener(listener);
}
if (problemname.endsWith(".cnf"))
return new DimacsReader(theSolver);
return new OPBReader2012(handle);
......@@ -81,12 +87,6 @@ public class LanceurPseudo2007 extends LanceurPseudo2005 {
new OptToPBSATAdapter(this.handle));
setLauncherMode(DecisionMode.instance());
}
String veripb = System.getProperty("veripb");
if (veripb != null) {
PBSearchListener<ISolverService> listener = new PBSearchListenerAdapter<ISolverService>() {
};
this.solver.setSearchListener(listener);
}
super.configureLauncher();
}
......
Supports Markdown
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