Commit a53fae40 authored by leberre's avatar leberre

Added logPrefix methods to multicore solver.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@609 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 1f3fe34f
......@@ -301,6 +301,17 @@ public class ManyCore implements ISolver, OutcomeListener {
public void setVerbose(boolean value) {
// do nothing
}
public void setLogPrefix(String prefix) {
for (int i = 0; i < numberOfSolvers; i++) {
solvers[i].setLogPrefix(prefix);
}
}
public String getLogPrefix() {
return solvers[0].getLogPrefix();
}
}
interface OutcomeListener {
......
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