fix doc for assumptions new API

ortools/java/com/google/ortools/sat/CpModel.java

@@ -971,19 +971,19 @@ public final class CpModel {
     modelBuilder.clearSolutionHint();
   }
 
-  /** Adds variable as assumption */
+  /** Adds a literal to the model as assumption */
   public void addAssumption(Literal lit) {
     modelBuilder.addAssumptions(lit.getIndex());
   }
 
-  /** Adds multiple variables to the assumptions */
+  /** Adds multiple literals to the model as assumptions */
   public void addAssumptions(Literal[] literals) {
     for (Literal lit : literals) {
       addAssumption(lit);
     }
   }
 
-  /** Remove all solution hints */
+  /** Remove all assumptions from the model */
   public void clearAssumptions() {
     modelBuilder.clearAssumptions();
   }

ortools/sat/cp_model.h

@@ -862,13 +862,13 @@ class CpModelBuilder {
   /// Remove all hints.
   void ClearHints();
 
-  /// Adds a variable to the assumptions.
+  /// Adds a literal to the model as assumptions.
   void AddAssumption(BoolVar lit);
 
-  /// Adds multiple variables to the assumptions.
+  /// Adds multiple literals to the model as assumptions.
   void AddAssumptions(absl::Span<const BoolVar> literals);
 
-  /// Remove all assumptions.
+  /// Remove all assumptions from the model.
   void ClearAssumptions();
 
   // TODO(user) : add MapDomain?

ortools/sat/python/cp_model.py

@@ -1547,13 +1547,16 @@ class CpModel(object):
         self.__model.ClearField("solution_hint")
 
     def AddAssumption(self, lit):
+        """Add the literal 'lit' to the model as assumptions."""
         self.__model.assumptions.append(self.GetOrMakeBooleanIndex(lit))
 
     def AddAssumptions(self, literals):
+        """Add the literals to the model as assumptions."""
         for lit in literals:
             self.AddAssumption(lit)
 
     def ClearAssumptions(self):
+        """Remove all assumptions from the model."""
         self.__model.ClearField("assumptions")