Fix #10

chocoteam · Jun 22, 2023 · cff9b28 · cff9b28
1 parent 1fcd134
commit cff9b28
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/content/en/docs/Solving/Strategies.md b/content/en/docs/Solving/Strategies.md
@@ -73,7 +73,7 @@ There are several ways to achieve this:
 // 1) verbose approach using usual imports
 
 import org.chocosolver.solver.search.strategy.Search;
-import org.chocosolver.solver.search.strategy.assignments.DecisionOperator;
+import org.chocosolver.solver.search.strategy.assignments.DecisionOperatorFactory;
 import org.chocosolver.solver.search.strategy.selectors.values.*;
 import org.chocosolver.solver.search.strategy.selectors.variables.*;
 
@@ -85,7 +85,7 @@ import org.chocosolver.solver.search.strategy.selectors.variables.*;
                     // selects the smallest domain value (lower bound)
                     new IntDomainMin(),
                     // apply equality (var = val)
-                    DecisionOperator.int_eq,
+                    DecisionOperatorFactory.makeIntEq(),
                     // variables to branch on
                     x, y
     ));
@@ -97,7 +97,6 @@ import org.chocosolver.solver.search.strategy.selectors.variables.*;
 
 import static org.chocosolver.solver.search.strategy.Search.*;
 
-import org.chocosolver.solver.search.strategy.assignments.DecisionOperator;
 import org.chocosolver.solver.search.strategy.selectors.values.*;
 import org.chocosolver.solver.search.strategy.selectors.variables.*;