[CP-SAT] fix doc

google · Nov 29, 2024 · c284aa4 · c284aa4
1 parent df97cd5
commit c284aa4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/ortools/java/com/google/ortools/sat/CpModel.java b/ortools/java/com/google/ortools/sat/CpModel.java
@@ -425,9 +425,9 @@ public Constraint addElement(LinearArgument index, int[] values, LinearArgument
    *
    * <p>Adds an empty circuit constraint.
    *
-   * <p>A circuit is a unique Hamiltonian circuit in a subgraph of the total graph. In case a node
-   * 'i' is not in the circuit, then there must be a loop arc {@code 'i -> i'} associated with a
-   * true literal. Otherwise this constraint will fail.
+   * <p>A circuit is a unique Hamiltonian cycle in a subgraph of the total graph. In case a node 'i'
+   * is not in the cycle, then there must be a loop arc {@code 'i -> i'} associated with a true
+   * literal. Otherwise this constraint will fail.
    */
   public CircuitConstraint addCircuit() {
     return new CircuitConstraint(modelBuilder);