AddMapDomain summary

google · Aug 15, 2024 · 210f36e · 210f36e
1 parent 9f8ee0c
commit 210f36e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/ortools/sat/csharp/CpModel.cs b/ortools/sat/csharp/CpModel.cs
@@ -501,6 +501,11 @@ public ReservoirConstraint AddReservoirConstraint(long minLevel, long maxLevel)
         return ct;
     }
 
+    /**
+     * <summary>
+     * Adds <c>var == i + offset ⇔ bool_vars[i] == true for all i</c>.
+     * </summary>
+     */
     public void AddMapDomain(IntVar var, IEnumerable<IntVar> bool_vars, long offset = 0)
     {
         int i = 0;