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

Textual representation of listeners.

parent 808cb14a
......@@ -238,4 +238,8 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
this.conflict.append(" " + this.reason).append(" +");
}
@Override
public String toString() {
return "VERIPB";
}
}
\ No newline at end of file
......@@ -9,4 +9,8 @@ public class VoidPBTracing extends PBSearchListenerAdapter<IPBSolverService> {
*/
private static final long serialVersionUID = 1L;
@Override
public String toString() {
return "none";
}
}
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