Commit 2aa707de authored by leberre's avatar leberre

Fixed the name of the setter method for the objective function.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@287 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 2c096419
......@@ -92,7 +92,7 @@ public class XplainTests {
addExtraImplications("b_2");
// Need some way to weight a_2 > a_1 & b_2 > b_1
helper.setObectiveFunction(newWO("a_1",2),newWO("a_2",1),newWO("b_1",8),newWO("b_2",4));
helper.setObjectiveFunction(newWO("a_1",2),newWO("a_2",1),newWO("b_1",8),newWO("b_2",4));
helper.implication("c_[2,3)").implies("p(c_[2,3))").named("c_[2,3) does not exist");
helper.setFalse("p(c_[2,3))", "placeholder(c_[2,3))");
......@@ -117,7 +117,7 @@ public class XplainTests {
addExtraImplications("b_1");
// Need some way to weight a_2 > a_1 & b_2 > b_1
helper.setObectiveFunction(newWO("a_1",2),newWO("a_2",1),newWO("b_1",8),newWO("b_2",4));
helper.setObjectiveFunction(newWO("a_1",2),newWO("a_2",1),newWO("b_1",8),newWO("b_2",4));
helper.implication("c_[2,3)").implies("p(c_[2,3))").named("c_[2,3) does not exist");
helper.setFalse("p(c_[2,3))", "placeholder(c_[2,3))");
helper.implication("d").implies("p(d)").named("d does not exist");
......@@ -149,7 +149,7 @@ public class XplainTests {
addExtraImplications("b_2");
// Need some way to weight a_2 > a_1 & b_2 > b_1
helper.setObectiveFunction(newWO("a_1",2),newWO("a_2",1),newWO("b_1",8),newWO("b_2",4));
helper.setObjectiveFunction(newWO("a_1",2),newWO("a_2",1),newWO("b_1",8),newWO("b_2",4));
helper.implication("c_[2,3)").implies("p(c_[2,3))").named("c_[2,3) does not exist");
helper.setFalse("p(c_[2,3))", "placeholder(c_[2,3))");
helper.implication("d").implies("p(d)").named("d does not exist");
......
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