From ad93a1b8aa9f2e76a1db2e83d9e2ceccc722f136 Mon Sep 17 00:00:00 2001
From: Salome Eriksson <salome.eriksson@unibas.ch>
Date: Fri, 5 Jul 2024 15:11:35 +0200
Subject: [PATCH] Renamed file for DefaultValueAxiomsTask.

---
 src/search/CMakeLists.txt                                     | 4 ++--
 src/search/heuristics/cea_heuristic.cc                        | 2 +-
 src/search/heuristics/cg_heuristic.cc                         | 2 +-
 src/search/heuristics/relaxation_heuristic.cc                 | 2 +-
 src/search/landmarks/landmark_heuristic.cc                    | 2 +-
 .../{negated_axioms_task.cc => default_value_axioms_task.cc}  | 2 +-
 .../{negated_axioms_task.h => default_value_axioms_task.h}    | 4 ++--
 7 files changed, 9 insertions(+), 9 deletions(-)
 rename src/search/tasks/{negated_axioms_task.cc => default_value_axioms_task.cc} (99%)
 rename src/search/tasks/{negated_axioms_task.h => default_value_axioms_task.h} (97%)

diff --git a/src/search/CMakeLists.txt b/src/search/CMakeLists.txt
index 04c9b0b601..c2bb9b9254 100644
--- a/src/search/CMakeLists.txt
+++ b/src/search/CMakeLists.txt
@@ -681,8 +681,8 @@ create_fast_downward_library(
     HELP "Core task transformations"
     SOURCES
         tasks/cost_adapted_task
-        tasks/delegating_task
-        tasks/negated_axioms_task
+	tasks/default_value_axioms_task
+	tasks/delegating_task
         tasks/root_task
     CORE_LIBRARY
 )
diff --git a/src/search/heuristics/cea_heuristic.cc b/src/search/heuristics/cea_heuristic.cc
index 90d1614e9f..ed7d1cf364 100644
--- a/src/search/heuristics/cea_heuristic.cc
+++ b/src/search/heuristics/cea_heuristic.cc
@@ -5,7 +5,7 @@
 #include "../plugins/plugin.h"
 
 #include "../task_utils/task_properties.h"
-#include "../tasks/negated_axioms_task.h"
+#include "../tasks/default_value_axioms_task.h"
 #include "../utils/logging.h"
 
 #include <cassert>
diff --git a/src/search/heuristics/cg_heuristic.cc b/src/search/heuristics/cg_heuristic.cc
index 4887d6b4f5..7b963f6e1b 100644
--- a/src/search/heuristics/cg_heuristic.cc
+++ b/src/search/heuristics/cg_heuristic.cc
@@ -5,7 +5,7 @@
 
 #include "../plugins/plugin.h"
 #include "../task_utils/task_properties.h"
-#include "../tasks/negated_axioms_task.h"
+#include "../tasks/default_value_axioms_task.h"
 #include "../utils/logging.h"
 
 #include <algorithm>
diff --git a/src/search/heuristics/relaxation_heuristic.cc b/src/search/heuristics/relaxation_heuristic.cc
index f090d190c4..674076adf1 100644
--- a/src/search/heuristics/relaxation_heuristic.cc
+++ b/src/search/heuristics/relaxation_heuristic.cc
@@ -2,7 +2,7 @@
 
 #include "../plugins/plugin.h"
 #include "../task_utils/task_properties.h"
-#include "../tasks/negated_axioms_task.h"
+#include "../tasks/default_value_axioms_task.h"
 #include "../utils/collections.h"
 #include "../utils/logging.h"
 #include "../utils/timer.h"
diff --git a/src/search/landmarks/landmark_heuristic.cc b/src/search/landmarks/landmark_heuristic.cc
index 3d043defa1..89fd6cf144 100644
--- a/src/search/landmarks/landmark_heuristic.cc
+++ b/src/search/landmarks/landmark_heuristic.cc
@@ -7,7 +7,7 @@
 #include "../plugins/plugin.h"
 #include "../task_utils/successor_generator.h"
 #include "../tasks/cost_adapted_task.h"
-#include "../tasks/negated_axioms_task.h"
+#include "../tasks/default_value_axioms_task.h"
 #include "../tasks/root_task.h"
 #include "../task_utils/task_properties.h"
 #include "../utils/markup.h"
diff --git a/src/search/tasks/negated_axioms_task.cc b/src/search/tasks/default_value_axioms_task.cc
similarity index 99%
rename from src/search/tasks/negated_axioms_task.cc
rename to src/search/tasks/default_value_axioms_task.cc
index 67327a4f45..3c689f8390 100644
--- a/src/search/tasks/negated_axioms_task.cc
+++ b/src/search/tasks/default_value_axioms_task.cc
@@ -1,4 +1,4 @@
-#include "negated_axioms_task.h"
+#include "default_value_axioms_task.h"
 
 #include "../task_proxy.h"
 
diff --git a/src/search/tasks/negated_axioms_task.h b/src/search/tasks/default_value_axioms_task.h
similarity index 97%
rename from src/search/tasks/negated_axioms_task.h
rename to src/search/tasks/default_value_axioms_task.h
index 8b397023a8..1dc20f1580 100644
--- a/src/search/tasks/negated_axioms_task.h
+++ b/src/search/tasks/default_value_axioms_task.h
@@ -1,5 +1,5 @@
-#ifndef TASKS_NEGATED_AXIOMS_TASK_H
-#define TASKS_NEGATED_AXIOMS_TASK_H
+#ifndef TASKS_DEFAULT_VALUE_AXIOMS_TASK_H
+#define TASKS_DEFAULT_VALUE_AXIOMS_TASK_H
 
 #include "delegating_task.h"