[CP-SAT] polish no_overlap presolve; add LinearExpr.Affine() API in java/C#; tweak LinearExpr C++ API

2021-06-09 11:16:48 +02:00
parent 983ef0ef51
commit 43da47a463
8 changed files with 59 additions and 60 deletions
--- a/ortools/sat/diffn_util.h
+++ b/ortools/sat/diffn_util.h
@@ -122,9 +122,8 @@ void ConstructOverlappingSets(bool already_sorted,

 // Given n intervals, returns the set of connected components (using the overlap
 // relation between 2 intervals).
-void ConstructNonOverlappingSets(bool already_sorted,
-                                 std::vector<IndexedInterval>* intervals,
-                                 std::vector<std::vector<int>>* result);
+void GetOverlappingIntervalComponents(std::vector<IndexedInterval>* intervals,
+                                      std::vector<std::vector<int>>* result);

 }  // namespace sat
 }  // namespace operations_research