Commit 93082e16 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Taking into account the case of null parameter.

parent 644cead9
......@@ -191,7 +191,13 @@ public class DotSearchTracing<T> extends SearchListenerAdapter<ISolverService>
@Override
public final void learn(final IConstr constr) {
String learned = this.currentNodeName + "_learned";
saveLine(lineTab("\"" + learned + "\" [label=\"" + constr.toString(this)
String text;
if (constr == null) {
text = "null";
} else {
text = constr.toString(this);
}
saveLine(lineTab("\"" + learned + "\" [label=\"" + text
+ "\", shape=box, color=\"orange\", style=dotted]"));
saveLine("\"" + learned + "\"" + "--" + "\"" + this.currentNodeName
+ "\"" + "[label=\"\", color=orange, style=dotted]");
......
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