Commit b70fc0cb authored by leberre's avatar leberre

Improved a bit the listener: it is now possible to know when a truth value was...

Improved a bit the listener: it is now possible to know when a truth value was set (vs when it is propagated). Also removed the reason parameter in propagating because it cannot really be used: one should check enqueueing if that information is needed.


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2201 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 038057f6
......@@ -1666,7 +1666,7 @@ public class DetailedCommandPanel extends JPanel implements SolverController,
public void assuming(int p) {
}
public void propagating(int p, IConstr reason) {
public void propagating(int p) {
this.end = System.currentTimeMillis();
if (this.end - this.begin >= 2000) {
long tmp = this.end - this.begin;
......@@ -1680,6 +1680,9 @@ public class DetailedCommandPanel extends JPanel implements SolverController,
this.propagationsCounter++;
}
public void enqueueing(int p, IConstr reason) {
}
public void backtracking(int p) {
}
......
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