Allow reasonable orderings towards landmarks that hold initially.

aibasel · Sep 13, 2023 · 9744a3e · 9744a3e
1 parent 17ae77a
commit 9744a3e
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc b/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc
@@ -50,9 +50,6 @@ void LandmarkFactoryReasonableOrdersHPS::approximate_reasonable_orders(
         if (landmark.disjunctive)
             continue;
 
-        if (landmark.is_true_in_state(initial_state))
-            return;
-
         if (landmark.is_true_in_goal) {
             for (auto &node2_p : lm_graph->get_nodes()) {
                 const Landmark &landmark2 = node2_p->get_landmark();