Commit 06b5a5d6 authored by Daniel Le Berre's avatar Daniel Le Berre

Implement toString(VarMapper)

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@2207 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 474d4873
......@@ -30,6 +30,7 @@
package org.sat4j.maxsat;
import org.sat4j.specs.IConstr;
import org.sat4j.specs.VarMapper;
public class UnitWeightedClause implements IConstr {
......@@ -63,4 +64,8 @@ public class UnitWeightedClause implements IConstr {
throw new UnsupportedOperationException();
}
public String toString(VarMapper mapper) {
throw new UnsupportedOperationException();
}
}
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