refactor: categorize ctl / query loading stuff into their own folders

sillydan1 · Nov 17, 2022 · 139d2a0 · 139d2a0
1 parent c79ad99
commit 139d2a0
Show file tree

Hide file tree

Showing 8 changed files with 4 additions and 4 deletions.
diff --git a/src/cli/verifier/CMakeLists.txt b/src/cli/verifier/CMakeLists.txt
@@ -1,6 +1,6 @@
 project(verifier VERSION 1.0.0)
 find_package(argvparse REQUIRED)
-add_executable(${PROJECT_NAME} main.cpp query_json_loader.cpp)
+add_executable(${PROJECT_NAME} main.cpp query/query_json_loader.cpp)
 target_link_libraries(${PROJECT_NAME} aaltitoad ctl argvparse)
 if(TARGET default_plugins)
     add_dependencies(${PROJECT_NAME} default_plugins)

diff --git a/src/cli/verifier/main.cpp b/src/cli/verifier/main.cpp
@@ -7,7 +7,7 @@
 #include <ntta/interesting_tocker.h>
 #include "cli_options.h"
 #include "../cli_common.h"
-#include "query_json_loader.h"
+#include "query/query_json_loader.h"
 
 auto load_plugins(std::map<std::string, argument_t>& cli_arguments) -> plugin_map_t;
 

diff --git a/src/cli/verifier/query_json_loader.cpp → src/cli/verifier/query/query_json_loader.cpp b/src/cli/verifier/query_json_loader.cpp → src/cli/verifier/query/query_json_loader.cpp
diff --git a/src/cli/verifier/query_json_loader.h → src/cli/verifier/query/query_json_loader.h b/src/cli/verifier/query_json_loader.h → src/cli/verifier/query/query_json_loader.h
diff --git a/src/verification/ctl_sat.cpp → src/verification/ctl/ctl_sat.cpp b/src/verification/ctl_sat.cpp → src/verification/ctl/ctl_sat.cpp
diff --git a/src/verification/ctl_sat.h → src/verification/ctl/ctl_sat.h b/src/verification/ctl_sat.h → src/verification/ctl/ctl_sat.h
diff --git a/src/verification/forward_reachability.cpp b/src/verification/forward_reachability.cpp
@@ -1,5 +1,5 @@
 #include "forward_reachability.h"
-#include "ctl_sat.h"
+#include "verification/ctl/ctl_sat.h"
 
 namespace aaltitoad {
     // TODO: <feature request> todo: add a new issue on github

diff --git a/src/verification/forward_reachability.h b/src/verification/forward_reachability.h
@@ -1,6 +1,6 @@
 #ifndef AALTITOAD_FORWARD_REACHABILITY_H
 #define AALTITOAD_FORWARD_REACHABILITY_H
-#include "ctl_sat.h"
+#include "verification/ctl/ctl_sat.h"
 #include "ntta/tta.h"
 #include "traceable_multimap.h"
 #include <ctl_compiler.h>