From 3a2ed56e99e6463fcb6255e3b93aa6bc40a0214e Mon Sep 17 00:00:00 2001
From: Simon Dold <simon.dold@stud.unibas.ch>
Date: Wed, 12 Aug 2026 11:54:33 +0200
Subject: [PATCH 1/2] reduce unused code.

---
 .../landmark_factory_reasonable_orders_hps.cc    |  1 -
 src/search/task_proxy.h                          | 16 ++--------------
 2 files changed, 2 insertions(+), 15 deletions(-)

diff --git a/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc b/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc
index 25da5572ba..fb0eea9c78 100644
--- a/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc
+++ b/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc
@@ -112,7 +112,6 @@ void LandmarkFactoryReasonableOrdersHPS::insert_reasonable_orderings(
 */
 void LandmarkFactoryReasonableOrdersHPS::approximate_reasonable_orderings(
     const TaskProxy &task_proxy) {
-    State initial_state = task_proxy.get_initial_state();
     for (const auto &node : *landmark_graph) {
         const Landmark &landmark = node->get_landmark();
         if (landmark.type == DISJUNCTIVE) {
diff --git a/src/search/task_proxy.h b/src/search/task_proxy.h
index f1134bedb8..5dcb74d622 100644
--- a/src/search/task_proxy.h
+++ b/src/search/task_proxy.h
@@ -17,22 +17,9 @@
 #include <string>
 #include <vector>
 
-class AxiomsProxy;
-class ConditionsProxy;
-class EffectProxy;
-class EffectConditionsProxy;
-class EffectsProxy;
-class FactProxy;
-class FactsProxy;
-class GoalsProxy;
-class OperatorProxy;
-class OperatorsProxy;
-class PreconditionsProxy;
-class State;
 class StateRegistry;
 class TaskProxy;
 class VariableProxy;
-class VariablesProxy;
 
 namespace causal_graph {
 class CausalGraph;
@@ -556,7 +543,6 @@ class GoalsProxy : public ConditionsProxy {
     }
 };
 
-bool does_fire(const EffectProxy &effect, const State &state);
 
 class State {
     /*
@@ -640,6 +626,8 @@ class State {
     State get_unregistered_successor(const OperatorProxy &op) const;
 };
 
+bool does_fire(const EffectProxy &effect, const State &state);
+
 namespace utils {
 inline void feed(HashState &hash_state, const State &state) {
     /*

From 02d00e07052c631e9b49c41a1984a08ebe0bcf78 Mon Sep 17 00:00:00 2001
From: Simon Dold <simon.dold@stud.unibas.ch>
Date: Wed, 12 Aug 2026 11:58:48 +0200
Subject: [PATCH 2/2] style.

---
 src/search/task_proxy.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/search/task_proxy.h b/src/search/task_proxy.h
index 5dcb74d622..d4520482f8 100644
--- a/src/search/task_proxy.h
+++ b/src/search/task_proxy.h
@@ -543,7 +543,6 @@ class GoalsProxy : public ConditionsProxy {
     }
 };
 
-
 class State {
     /*
       TODO: We want to try out two things: