Commit 0df1ee25 authored by Daniel Le Berre's avatar Daniel Le Berre

Forgotten part of the fix for #156 for pb solvers.

parent b4e4d93d
Pipeline #5663 passed with stages
in 192 minutes and 42 seconds
......@@ -54,8 +54,8 @@ public class PBInstanceReader extends InstanceReader {
private Reader getDefaultOPBReader() {
if (this.opb == null) {
this.opb = new OPBReader2012(new PBSolverHandle(
new PseudoOptDecorator(solver)));
this.opb = new OPBReader2012(
new PBSolverHandle(new PseudoOptDecorator(solver)));
}
return this.opb;
}
......@@ -71,4 +71,14 @@ public class PBInstanceReader extends InstanceReader {
}
return super.handleFileName(fname, prefix);
}
@Override
protected String[] getReservedPrefixes() {
String[] parent = super.getReservedPrefixes();
int n = parent.length;
String[] prefixes = new String[n + 1];
System.arraycopy(parent, 0, prefixes, 0, n);
prefixes[n] = "PB";
return prefixes;
}
}
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