rename directory

aibasel · Jul 27, 2023 · 16eb76d · 16eb76d
1 parent 6f53f5c
commit 16eb76d
Show file tree

Hide file tree

Showing 31 changed files with 18 additions and 18 deletions.
diff --git a/src/search/DownwardFiles.cmake b/src/search/DownwardFiles.cmake
@@ -642,24 +642,24 @@ fast_downward_plugin(
 
 fast_downward_plugin(
     NAME CEGAR
-    HELP "Plugin containing the code for CEGAR heuristics"
-    SOURCES
-        cegar/abstraction
-        cegar/abstract_search
-        cegar/abstract_state
-        cegar/additive_cartesian_heuristic
-        cegar/cartesian_heuristic_function
-        cegar/cartesian_set
-        cegar/cegar
-        cegar/cost_saturation
-        cegar/refinement_hierarchy
-        cegar/split_selector
-        cegar/subtask_generators
-        cegar/transition
-        cegar/transition_system
-        cegar/types
-        cegar/utils
-        cegar/utils_landmarks
+    HELP "Plugin containing the code for Cartesian CEGAR heuristics"
+    SOURCES
+        cartesian_abstractions/abstraction
+        cartesian_abstractions/abstract_search
+        cartesian_abstractions/abstract_state
+        cartesian_abstractions/additive_cartesian_heuristic
+        cartesian_abstractions/cartesian_heuristic_function
+        cartesian_abstractions/cartesian_set
+        cartesian_abstractions/cegar
+        cartesian_abstractions/cost_saturation
+        cartesian_abstractions/refinement_hierarchy
+        cartesian_abstractions/split_selector
+        cartesian_abstractions/subtask_generators
+        cartesian_abstractions/transition
+        cartesian_abstractions/transition_system
+        cartesian_abstractions/types
+        cartesian_abstractions/utils
+        cartesian_abstractions/utils_landmarks
     DEPENDS ADDITIVE_HEURISTIC DYNAMIC_BITSET EXTRA_TASKS LANDMARKS PRIORITY_QUEUES TASK_PROPERTIES
 )
 

diff --git a/src/search/cegar/abstract_search.cc → ...cartesian_abstractions/abstract_search.cc b/src/search/cegar/abstract_search.cc → ...cartesian_abstractions/abstract_search.cc
diff --git a/src/search/cegar/abstract_search.h → .../cartesian_abstractions/abstract_search.h b/src/search/cegar/abstract_search.h → .../cartesian_abstractions/abstract_search.h
diff --git a/src/search/cegar/abstract_state.cc → .../cartesian_abstractions/abstract_state.cc b/src/search/cegar/abstract_state.cc → .../cartesian_abstractions/abstract_state.cc
diff --git a/src/search/cegar/abstract_state.h → ...h/cartesian_abstractions/abstract_state.h b/src/search/cegar/abstract_state.h → ...h/cartesian_abstractions/abstract_state.h
diff --git a/src/search/cegar/abstraction.cc → ...rch/cartesian_abstractions/abstraction.cc b/src/search/cegar/abstraction.cc → ...rch/cartesian_abstractions/abstraction.cc
diff --git a/src/search/cegar/abstraction.h → ...arch/cartesian_abstractions/abstraction.h b/src/search/cegar/abstraction.h → ...arch/cartesian_abstractions/abstraction.h
diff --git a/...rch/cegar/additive_cartesian_heuristic.cc → ...tractions/additive_cartesian_heuristic.cc b/...rch/cegar/additive_cartesian_heuristic.cc → ...tractions/additive_cartesian_heuristic.cc
diff --git a/...arch/cegar/additive_cartesian_heuristic.h → ...stractions/additive_cartesian_heuristic.h b/...arch/cegar/additive_cartesian_heuristic.h → ...stractions/additive_cartesian_heuristic.h
diff --git a/...rch/cegar/cartesian_heuristic_function.cc → ...tractions/cartesian_heuristic_function.cc b/...rch/cegar/cartesian_heuristic_function.cc → ...tractions/cartesian_heuristic_function.cc
diff --git a/...arch/cegar/cartesian_heuristic_function.h → ...stractions/cartesian_heuristic_function.h b/...arch/cegar/cartesian_heuristic_function.h → ...stractions/cartesian_heuristic_function.h
diff --git a/src/search/cegar/cartesian_set.cc → ...h/cartesian_abstractions/cartesian_set.cc b/src/search/cegar/cartesian_set.cc → ...h/cartesian_abstractions/cartesian_set.cc
diff --git a/src/search/cegar/cartesian_set.h → ...ch/cartesian_abstractions/cartesian_set.h b/src/search/cegar/cartesian_set.h → ...ch/cartesian_abstractions/cartesian_set.h
diff --git a/src/search/cegar/cegar.cc → src/search/cartesian_abstractions/cegar.cc b/src/search/cegar/cegar.cc → src/search/cartesian_abstractions/cegar.cc
diff --git a/src/search/cegar/cegar.h → src/search/cartesian_abstractions/cegar.h b/src/search/cegar/cegar.h → src/search/cartesian_abstractions/cegar.h
diff --git a/src/search/cegar/cost_saturation.cc → ...cartesian_abstractions/cost_saturation.cc b/src/search/cegar/cost_saturation.cc → ...cartesian_abstractions/cost_saturation.cc
diff --git a/src/search/cegar/cost_saturation.h → .../cartesian_abstractions/cost_saturation.h b/src/search/cegar/cost_saturation.h → .../cartesian_abstractions/cost_saturation.h
diff --git a/src/search/cegar/refinement_hierarchy.cc → ...sian_abstractions/refinement_hierarchy.cc b/src/search/cegar/refinement_hierarchy.cc → ...sian_abstractions/refinement_hierarchy.cc
diff --git a/src/search/cegar/refinement_hierarchy.h → ...esian_abstractions/refinement_hierarchy.h b/src/search/cegar/refinement_hierarchy.h → ...esian_abstractions/refinement_hierarchy.h
diff --git a/src/search/cegar/split_selector.cc → .../cartesian_abstractions/split_selector.cc b/src/search/cegar/split_selector.cc → .../cartesian_abstractions/split_selector.cc
diff --git a/src/search/cegar/split_selector.h → ...h/cartesian_abstractions/split_selector.h b/src/search/cegar/split_selector.h → ...h/cartesian_abstractions/split_selector.h
diff --git a/src/search/cegar/subtask_generators.cc → ...tesian_abstractions/subtask_generators.cc b/src/search/cegar/subtask_generators.cc → ...tesian_abstractions/subtask_generators.cc
diff --git a/src/search/cegar/subtask_generators.h → ...rtesian_abstractions/subtask_generators.h b/src/search/cegar/subtask_generators.h → ...rtesian_abstractions/subtask_generators.h
diff --git a/src/search/cegar/transition.h → ...earch/cartesian_abstractions/transition.h b/src/search/cegar/transition.h → ...earch/cartesian_abstractions/transition.h
diff --git a/src/search/cegar/transition_system.cc → ...rtesian_abstractions/transition_system.cc b/src/search/cegar/transition_system.cc → ...rtesian_abstractions/transition_system.cc
diff --git a/src/search/cegar/transition_system.h → ...artesian_abstractions/transition_system.h b/src/search/cegar/transition_system.h → ...artesian_abstractions/transition_system.h
diff --git a/src/search/cegar/types.h → src/search/cartesian_abstractions/types.h b/src/search/cegar/types.h → src/search/cartesian_abstractions/types.h
diff --git a/src/search/cegar/utils.cc → src/search/cartesian_abstractions/utils.cc b/src/search/cegar/utils.cc → src/search/cartesian_abstractions/utils.cc
diff --git a/src/search/cegar/utils.h → src/search/cartesian_abstractions/utils.h b/src/search/cegar/utils.h → src/search/cartesian_abstractions/utils.h
diff --git a/src/search/cegar/utils_landmarks.cc → ...cartesian_abstractions/utils_landmarks.cc b/src/search/cegar/utils_landmarks.cc → ...cartesian_abstractions/utils_landmarks.cc
diff --git a/src/search/cegar/utils_landmarks.h → .../cartesian_abstractions/utils_landmarks.h b/src/search/cegar/utils_landmarks.h → .../cartesian_abstractions/utils_landmarks.h