This commit is contained in:
Laurent Perron
2024-11-28 15:49:34 +01:00
parent 503b038dfc
commit d50d16837b
2 changed files with 6 additions and 6 deletions

View File

@@ -425,9 +425,9 @@ public final class CpModel {
*
* <p>Adds an empty circuit constraint.
*
* <p>A circuit is a unique Hamiltonian path in a subgraph of the total graph. In case a node 'i'
* is not in the path, 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 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.
*/
public CircuitConstraint addCircuit() {
return new CircuitConstraint(modelBuilder);

View File

@@ -299,9 +299,9 @@ public class CpModel
* Adds and returns an empty circuit constraint.
* </summary>
*
* <remarks> A circuit is a unique Hamiltonian path in a subgraph of the total graph. In case a node <c>i</c>
* is not in the path, then there must be a loop arc <c> i -> i</c> associated with a true
* literal. Otherwise this constraint will fail.
* <remarks> A circuit is a unique Hamiltonian circuit in a subgraph of the total graph. In case
* a node <c>i</c> is not in the circuit, then there must be a loop arc <c> i -> i</c>
* associated with a true literal. Otherwise this constraint will fail.
* </remarks>
*/
public CircuitConstraint AddCircuit()