Renamed file for DefaultValueAxiomsTask.

aibasel · Jul 5, 2024 · ad93a1b · ad93a1b
1 parent ce974b9
commit ad93a1b
Show file tree

Hide file tree

Showing 7 changed files with 9 additions and 9 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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 → ...search/tasks/default_value_axioms_task.cc b/src/search/tasks/negated_axioms_task.cc → ...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 → src/search/tasks/default_value_axioms_task.h b/src/search/tasks/negated_axioms_task.h → 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"