[CP-SAT] improve no_overlap presolve

2021-06-08 18:27:20 +02:00
parent ceda0fb6f9
commit 983ef0ef51
3 changed files with 83 additions and 32 deletions
--- a/ortools/sat/diffn_util.h
+++ b/ortools/sat/diffn_util.h
@@ -120,6 +120,12 @@ void ConstructOverlappingSets(bool already_sorted,
                              std::vector<IndexedInterval>* intervals,
                              std::vector<std::vector<int>>* result);

+// 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);
+
 }  // namespace sat
 }  // namespace operations_research