diff --git a/ortools/java/com/google/ortools/sat/CpModel.java b/ortools/java/com/google/ortools/sat/CpModel.java index f6ee4440c9..329b1bd3d9 100644 --- a/ortools/java/com/google/ortools/sat/CpModel.java +++ b/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(); } diff --git a/ortools/sat/cp_model.h b/ortools/sat/cp_model.h index 5c9ab8e51d..e64770d8dd 100644 --- a/ortools/sat/cp_model.h +++ b/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 literals); - /// Remove all assumptions. + /// Remove all assumptions from the model. void ClearAssumptions(); // TODO(user) : add MapDomain? diff --git a/ortools/sat/python/cp_model.py b/ortools/sat/python/cp_model.py index 66bdd889dd..3821bd85c9 100644 --- a/ortools/sat/python/cp_model.py +++ b/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")