Add max load checking asserts in RouteSplit::apply.

VROOM-Project · Sep 22, 2023 · b0afd61 · b0afd61
1 parent cff4e0f
commit b0afd61
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/src/problems/cvrp/operators/route_split.cpp b/src/problems/cvrp/operators/route_split.cpp
@@ -71,6 +71,9 @@ void RouteSplit::apply() {
   std::move(s_route.begin() + choice.split_rank,
             s_route.end(),
             std::back_inserter(end_route.route));
+  end_route.update_amounts(_input);
+  assert(end_route.max_load() ==
+         source.sub_route_max_load_after(choice.split_rank));
 
   // Empty route holding the beginning of the split.
   auto& begin_route = _sol[_begin_route_rank];
@@ -79,12 +82,12 @@ void RouteSplit::apply() {
   std::move(s_route.begin(),
             s_route.begin() + choice.split_rank,
             std::back_inserter(begin_route.route));
+  begin_route.update_amounts(_input);
+  assert(begin_route.max_load() ==
+         source.sub_route_max_load_before(choice.split_rank));
 
   s_route.clear();
-
   source.update_amounts(_input);
-  end_route.update_amounts(_input);
-  begin_route.update_amounts(_input);
 }
 
 std::vector<Index> RouteSplit::addition_candidates() const {

diff --git a/src/problems/vrptw/operators/route_split.cpp b/src/problems/vrptw/operators/route_split.cpp
@@ -65,6 +65,8 @@ void RouteSplit::apply() {
                     s_route.end(),
                     0,
                     0);
+  assert(end_route.max_load() ==
+         _tw_s_route.sub_route_max_load_after(choice.split_rank));
 
   // Empty route holding the beginning of the split.
   auto& begin_route = _tw_sol[_begin_route_rank];
@@ -79,6 +81,8 @@ void RouteSplit::apply() {
                       s_route.begin() + choice.split_rank,
                       0,
                       0);
+  assert(begin_route.max_load() ==
+         _tw_s_route.sub_route_max_load_before(choice.split_rank));
 
   _tw_s_route.remove(_input, 0, s_route.size());
 }