Commit aea58944 authored by Daniel Le Berre's avatar Daniel Le Berre

Improved debug display

parent b0e95aeb
......@@ -158,11 +158,15 @@ public abstract class BinaryClause
stb.append(Lits.toString(this.head));
stb.append("["); //$NON-NLS-1$
stb.append(this.voc.valueToString(this.head));
stb.append("@");
stb.append(this.voc.getLevel(this.head));
stb.append("]"); //$NON-NLS-1$
stb.append(" "); //$NON-NLS-1$
stb.append(Lits.toString(this.tail));
stb.append("["); //$NON-NLS-1$
stb.append(this.voc.valueToString(this.tail));
stb.append("@");
stb.append(this.voc.getLevel(this.tail));
stb.append("]"); //$NON-NLS-1$
return stb.toString();
}
......
......@@ -176,6 +176,8 @@ public abstract class WLClause implements Propagatable, Constr, Serializable {
stb.append(Lits.toString(lit));
stb.append("["); //$NON-NLS-1$
stb.append(this.voc.valueToString(lit));
stb.append("@");
stb.append(this.voc.getLevel(lit));
stb.append("]"); //$NON-NLS-1$
stb.append(" "); //$NON-NLS-1$
}
......@@ -191,6 +193,8 @@ public abstract class WLClause implements Propagatable, Constr, Serializable {
stb.append(mapper.map(LiteralsUtils.toDimacs(lit)));
stb.append("["); //$NON-NLS-1$
stb.append(this.voc.valueToString(lit));
stb.append("@");
stb.append(this.voc.getLevel(lit));
stb.append("]"); //$NON-NLS-1$
stb.append(" "); //$NON-NLS-1$
}
......
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