From d8d5ee5d1e4538023c96397e11c1825d0639ae5f Mon Sep 17 00:00:00 2001 From: ClemensBuechner Date: Fri, 25 Aug 2023 11:24:29 +0200 Subject: [PATCH 1/2] Add reasonable orders to alias. --- driver/aliases.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/driver/aliases.py b/driver/aliases.py index 8d835726fb..88dfb09ce0 100644 --- a/driver/aliases.py +++ b/driver/aliases.py @@ -135,7 +135,7 @@ def _get_lama(pref): ALIASES["seq-opt-bjolp"] = [ "--search", - "let(lmc, landmark_cost_partitioning(lm_merged([lm_rhw(),lm_hm(m=1)]))," + "let(lmc, landmark_cost_partitioning(lm_reasonable_orders_hps(lm_merged([lm_rhw(),lm_hm(m=1)])))," "astar(lmc,lazy_evaluator=lmc))"] ALIASES["seq-opt-lmcut"] = [ From 3f04b32099813bb8ac1af89b663662a089774925 Mon Sep 17 00:00:00 2001 From: ClemensBuechner Date: Fri, 25 Aug 2023 11:24:51 +0200 Subject: [PATCH 2/2] Remove linebreak. --- src/search/landmarks/landmark_factory_reasonable_orders_hps.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/search/landmarks/landmark_factory_reasonable_orders_hps.h b/src/search/landmarks/landmark_factory_reasonable_orders_hps.h index b9628b3ce2..91a7f2f991 100644 --- a/src/search/landmarks/landmark_factory_reasonable_orders_hps.h +++ b/src/search/landmarks/landmark_factory_reasonable_orders_hps.h @@ -9,8 +9,7 @@ class LandmarkFactoryReasonableOrdersHPS : public LandmarkFactory { virtual void generate_landmarks(const std::shared_ptr &task) override; - void approximate_reasonable_orders( - const TaskProxy &task_proxy); + void approximate_reasonable_orders(const TaskProxy &task_proxy); bool interferes( const TaskProxy &task_proxy, const Landmark &landmark_a, const Landmark &landmark_b) const;