Polish new CP-SAT Java API

2019-05-06 22:21:53 +02:00
parent 7650a85b51
commit 3c5cd313d5
26 changed files with 168 additions and 95 deletions
--- a/ortools/sat/samples/ChannelingSampleSat.java
+++ b/ortools/sat/samples/ChannelingSampleSat.java
@@ -42,7 +42,7 @@ public class ChannelingSampleSat {

    // Create our two half-reified constraints.
    // First, b implies (y == 10 - x).
-    model.addEquality(LinearExpr.Sum(new IntVar[] {x, y}), 10).onlyEnforceIf(b);
+    model.addEquality(LinearExpr.sum(new IntVar[] {x, y}), 10).onlyEnforceIf(b);
    // Second, not(b) implies y == 0.
    model.addEquality(y, 0).onlyEnforceIf(b.not());