diff --git a/examples/tests/CpModelTest.java b/examples/tests/CpModelTest.java index d7aa9e4a99..bebb6db0d8 100644 --- a/examples/tests/CpModelTest.java +++ b/examples/tests/CpModelTest.java @@ -47,11 +47,11 @@ public final class CpModelTest { assertThat(u.getName()).isEmpty(); assertThat(x.getDomain().flattenedIntervals()).isEqualTo(new long[] {0, 10}); - assertThat(x.getShortString()).isEqualTo("x(0..10)"); - assertThat(y.getShortString()).isEqualTo("y(0..2, 5)"); - assertThat(z.getShortString()).isEqualTo("var_2(0..2, 5)"); - assertThat(t.getShortString()).isEqualTo("t(0..1)"); - assertThat(u.getShortString()).isEqualTo("5"); + assertThat(x.toString()).isEqualTo("x(0..10)"); + assertThat(y.toString()).isEqualTo("y(0..2, 5)"); + assertThat(z.toString()).isEqualTo("var_2(0..2, 5)"); + assertThat(t.toString()).isEqualTo("t(0..1)"); + assertThat(u.toString()).isEqualTo("5"); } @Test @@ -67,7 +67,7 @@ public final class CpModelTest { final LinearExpr startExpr = interval.getStartExpr(); assertThat(startExpr.numElements()).isEqualTo(1); assertThat(startExpr.getOffset()).isEqualTo(0); - assertThat(startExpr.getVariable(0).getIndex()).isEqualTo(startVar.getIndex()); + assertThat(startExpr.getVariableIndex(0)).isEqualTo(startVar.getIndex()); assertThat(startExpr.getCoefficient(0)).isEqualTo(1); final LinearExpr sizeExpr = interval.getSizeExpr(); @@ -77,7 +77,7 @@ public final class CpModelTest { final LinearExpr endExpr = interval.getEndExpr(); assertThat(endExpr.numElements()).isEqualTo(1); assertThat(endExpr.getOffset()).isEqualTo(duration); - assertThat(endExpr.getVariable(0).getIndex()).isEqualTo(startVar.getIndex()); + assertThat(endExpr.getVariableIndex(0)).isEqualTo(startVar.getIndex()); assertThat(endExpr.getCoefficient(0)).isEqualTo(1); } @@ -185,21 +185,20 @@ public final class CpModelTest { final BoolVar x = model.newBoolVar("x"); final BoolVar y = model.newBoolVar("y"); - model.addEquality(LinearExpr.newBuilder().add(x).add(y).build(), 1); + model.addEquality(LinearExpr.newBuilder().add(x).add(y), 1); assertThat(model.model().getConstraintsCount()).isEqualTo(1); assertThat(model.model().getConstraints(0).hasLinear()).isTrue(); assertThat(model.model().getConstraints(0).getLinear().getVarsCount()).isEqualTo(2); final BoolVar b = model.newBoolVar("b"); - model.addEquality(LinearExpr.newBuilder().add(x).add(y).build(), 2).onlyEnforceIf(b.not()); + model.addEquality(LinearExpr.newBuilder().add(x).add(y), 2).onlyEnforceIf(b.not()); assertThat(model.model().getConstraintsCount()).isEqualTo(2); assertThat(model.model().getConstraints(1).hasLinear()).isTrue(); assertThat(model.model().getConstraints(1).getEnforcementLiteralCount()).isEqualTo(1); assertThat(model.model().getConstraints(1).getEnforcementLiteral(0)).isEqualTo(-3); final BoolVar c = model.newBoolVar("c"); - model.addEquality(LinearExpr.newBuilder().add(x).add(y).build(), 3) - .onlyEnforceIf(new Literal[] {b, c}); + model.addEquality(LinearExpr.newBuilder().add(x).add(y), 3).onlyEnforceIf(new Literal[] {b, c}); assertThat(model.model().getConstraintsCount()).isEqualTo(3); assertThat(model.model().getConstraints(2).hasLinear()).isTrue(); assertThat(model.model().getConstraints(2).getEnforcementLiteralCount()).isEqualTo(2); @@ -272,9 +271,9 @@ public final class CpModelTest { final IntVar x = model.newBoolVar("x"); final IntVar t = model.newBoolVar("t"); - model.addMinEquality(LinearExpr.newBuilder().addTerm(t, -3).build(), - new LinearExpr[] {LinearExpr.newBuilder().addTerm(x, 2).add(1).build(), - LinearExpr.newBuilder().add(5).build()}); + model.addMinEquality(LinearExpr.newBuilder().addTerm(t, -3), + new LinearExpr[] { + LinearExpr.newBuilder().addTerm(x, 2).add(1).build(), LinearExpr.constant(5)}); assertThat(model.model().getConstraintsCount()).isEqualTo(1); assertThat(model.model().getConstraints(0).hasLinMax()).isTrue(); LinearArgumentProto ct = model.model().getConstraints(0).getLinMax(); @@ -297,8 +296,8 @@ public final class CpModelTest { final IntVar x = model.newBoolVar("x"); final IntVar t = model.newBoolVar("t"); - model.addAbsEquality(LinearExpr.newBuilder().addTerm(t, -3).build(), - LinearExpr.newBuilder().addTerm(x, 2).add(1).build()); + model.addAbsEquality( + LinearExpr.newBuilder().addTerm(t, -3), LinearExpr.newBuilder().addTerm(x, 2).add(1)); assertThat(model.model().getConstraintsCount()).isEqualTo(1); assertThat(model.model().getConstraints(0).hasLinMax()).isTrue(); LinearArgumentProto ct = model.model().getConstraints(0).getLinMax(); @@ -487,7 +486,7 @@ public final class CpModelTest { assertNotNull(model); final IntVar x = model.newIntVar(0, 9223372036854775807L, "x"); final IntVar y = model.newIntVar(0, 10, "y"); - model.addLinearExpressionInDomain(LinearExpr.newBuilder().add(x).add(y).build(), + model.addLinearExpressionInDomain(LinearExpr.newBuilder().add(x).add(y), Domain.fromFlatIntervals(new long[] {6, 9223372036854775807L})); String stats = model.validate(); diff --git a/examples/tests/CpSolverTest.java b/examples/tests/CpSolverTest.java index 3a1b320d27..fcf03d6e9a 100644 --- a/examples/tests/CpSolverTest.java +++ b/examples/tests/CpSolverTest.java @@ -112,7 +112,7 @@ public final class CpSolverTest { final IntVar x = model.newIntVar(0, 5, "x"); final IntVar y = model.newIntVar(0, 6, "y"); // Creates the constraints. - model.addEquality(LinearExpr.newBuilder().add(x).add(y).build(), 6); + model.addEquality(LinearExpr.newBuilder().add(x).add(y), 6); // Add hints. model.addHint(x, 2); @@ -181,7 +181,7 @@ public final class CpSolverTest { model.addDifferent(x, y); // Maximizes a linear combination of variables. - model.maximize(LinearExpr.newBuilder().add(x).addTerm(y, 2).addTerm(z, 3).build()); + model.maximize(LinearExpr.newBuilder().add(x).addTerm(y, 2).addTerm(z, 3)); // Creates a solver and solves the model. final CpSolver solver = new CpSolver(); @@ -203,7 +203,7 @@ public final class CpSolverTest { final IntVar y = model.newIntVar(0, 5, "y"); // Create a linear constraint which enforces that only x or y can be greater than 0. - model.addLinearConstraint(LinearExpr.newBuilder().add(x).add(y).build(), 0, 1); + model.addLinearConstraint(LinearExpr.newBuilder().add(x).add(y), 0, 1); // Create the objective variable final IntVar obj = model.newIntVar(0, 3, "obj"); diff --git a/examples/tests/LinearExprTest.java b/examples/tests/LinearExprTest.java index 2713477b75..0d2af900e2 100644 --- a/examples/tests/LinearExprTest.java +++ b/examples/tests/LinearExprTest.java @@ -39,7 +39,7 @@ public final class LinearExprTest { assertNotNull(expr); assertEquals(1, expr.numElements()); - assertEquals(y, expr.getVariable(0)); + assertEquals(y.getIndex(), expr.getVariableIndex(0)); assertEquals(1, expr.getCoefficient(0)); assertEquals(0, expr.getOffset()); } @@ -54,7 +54,7 @@ public final class LinearExprTest { assertNotNull(expr); assertEquals(1, expr.numElements()); - assertEquals(y, expr.getVariable(0)); + assertEquals(y.getIndex(), expr.getVariableIndex(0)); assertEquals(1, expr.getCoefficient(0)); assertEquals(0, expr.getOffset()); } @@ -69,7 +69,7 @@ public final class LinearExprTest { assertNotNull(expr); assertEquals(1, expr.numElements()); - assertEquals(y, expr.getVariable(0)); + assertEquals(y.getIndex(), expr.getVariableIndex(0)); assertEquals(-1, expr.getCoefficient(0)); assertEquals(1, expr.getOffset()); } @@ -85,7 +85,7 @@ public final class LinearExprTest { assertNotNull(expr); assertEquals(1, expr.numElements()); - assertEquals(y, expr.getVariable(0)); + assertEquals(y.getIndex(), expr.getVariableIndex(0)); assertEquals(12, expr.getCoefficient(0)); assertEquals(0, expr.getOffset()); } @@ -100,7 +100,7 @@ public final class LinearExprTest { assertNotNull(expr); assertThat(expr.numElements()).isEqualTo(1); - assertThat(expr.getVariable(0)).isEqualTo(y); + assertThat(expr.getVariableIndex(0)).isEqualTo(y.getIndex()); assertThat(expr.getCoefficient(0)).isEqualTo(-12); assertThat(expr.getOffset()).isEqualTo(12); } @@ -116,7 +116,7 @@ public final class LinearExprTest { assertNotNull(expr); assertThat(expr.numElements()).isEqualTo(1); - assertThat(expr.getVariable(0)).isEqualTo(y); + assertThat(expr.getVariableIndex(0)).isEqualTo(y.getIndex()); assertThat(expr.getCoefficient(0)).isEqualTo(12); assertThat(expr.getOffset()).isEqualTo(5); } @@ -131,7 +131,7 @@ public final class LinearExprTest { assertNotNull(expr); assertThat(expr.numElements()).isEqualTo(1); - assertThat(expr.getVariable(0)).isEqualTo(y); + assertThat(expr.getVariableIndex(0)).isEqualTo(y.getIndex()); assertThat(expr.getCoefficient(0)).isEqualTo(-12); assertThat(expr.getOffset()).isEqualTo(17); } @@ -148,9 +148,9 @@ public final class LinearExprTest { assertNotNull(expr); assertThat(expr.numElements()).isEqualTo(2); - assertThat(expr.getVariable(0)).isEqualTo(x); + assertThat(expr.getVariableIndex(0)).isEqualTo(x.getIndex()); assertThat(expr.getCoefficient(0)).isEqualTo(1); - assertThat(expr.getVariable(1)).isEqualTo(y); + assertThat(expr.getVariableIndex(1)).isEqualTo(y.getIndex()); assertThat(expr.getCoefficient(1)).isEqualTo(1); assertThat(expr.getOffset()).isEqualTo(0); } @@ -167,9 +167,9 @@ public final class LinearExprTest { assertNotNull(expr); assertThat(expr.numElements()).isEqualTo(2); - assertThat(expr.getVariable(0)).isEqualTo(x); + assertThat(expr.getVariableIndex(0)).isEqualTo(x.getIndex()); assertThat(expr.getCoefficient(0)).isEqualTo(3); - assertThat(expr.getVariable(1)).isEqualTo(y); + assertThat(expr.getVariableIndex(1)).isEqualTo(y.getIndex()); assertThat(expr.getCoefficient(1)).isEqualTo(5); assertThat(expr.getOffset()).isEqualTo(0); } @@ -185,9 +185,9 @@ public final class LinearExprTest { assertNotNull(expr); assertThat(expr.numElements()).isEqualTo(2); - assertThat(expr.getVariable(0)).isEqualTo(x); + assertThat(expr.getVariableIndex(0)).isEqualTo(x.getIndex()); assertThat(expr.getCoefficient(0)).isEqualTo(1); - assertThat(expr.getVariable(1)).isEqualTo(y); + assertThat(expr.getVariableIndex(1)).isEqualTo(y.getIndex()); assertThat(expr.getCoefficient(1)).isEqualTo(-1); assertThat(expr.getOffset()).isEqualTo(1); } @@ -203,9 +203,9 @@ public final class LinearExprTest { assertNotNull(expr); assertThat(expr.numElements()).isEqualTo(2); - assertThat(expr.getVariable(0)).isEqualTo(x); + assertThat(expr.getVariableIndex(0)).isEqualTo(x.getIndex()); assertThat(expr.getCoefficient(0)).isEqualTo(3); - assertThat(expr.getVariable(1)).isEqualTo(y); + assertThat(expr.getVariableIndex(1)).isEqualTo(y.getIndex()); assertThat(expr.getCoefficient(1)).isEqualTo(-5); assertThat(expr.getOffset()).isEqualTo(5); }