Commit 34322d46 authored by leberre's avatar leberre

Fixed change in the SearrchListener interface.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2068 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent d974d051
......@@ -1689,12 +1689,12 @@ public class DetailedCommandPanel extends JPanel implements SolverController,
public void learn(IConstr c) {
}
public void delete(IConstr c) {
}
public void learnUnit(int p) {
}
public void delete(int[] clause) {
}
public void conflictFound(IConstr confl, int dlevel, int trailLevel) {
this.conflictCounter++;
}
......
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