Move all solvers to the solvers subdirectory

trolando · Aug 11, 2024 · 77c6992 · 77c6992
1 parent 01cf03b
commit 77c6992
Show file tree

Hide file tree

Showing 48 changed files with 47 additions and 47 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -76,29 +76,29 @@ target_sources(oink
     src/solver.cpp
     src/verifier.cpp
     # Solvers
-    src/zlk.cpp
-    src/zlkq.cpp
-    src/npp.cpp
-    src/pp.cpp
-    src/ppp.cpp
-    src/rr.cpp
-    src/dp.cpp
-    src/rrdp.cpp
-    src/ppq.cpp
-    src/fpi.cpp
-    src/fpj.cpp
-    src/psi.cpp
-    src/ssi.cpp
-    src/spm.cpp
-    src/mspm.cpp
-    src/tspm.cpp
-    src/sspm.cpp
-    src/qpt.cpp
-    src/tl.cpp
-    src/rtl.cpp
-    src/zlkpp.cpp
-    src/ptl.cpp
-    src/dtl.cpp
+    src/solvers/zlk.cpp
+    src/solvers/zlkq.cpp
+    src/solvers/npp.cpp
+    src/solvers/pp.cpp
+    src/solvers/ppp.cpp
+    src/solvers/rr.cpp
+    src/solvers/dp.cpp
+    src/solvers/rrdp.cpp
+    src/solvers/ppq.cpp
+    src/solvers/fpi.cpp
+    src/solvers/fpj.cpp
+    src/solvers/psi.cpp
+    src/solvers/ssi.cpp
+    src/solvers/spm.cpp
+    src/solvers/mspm.cpp
+    src/solvers/tspm.cpp
+    src/solvers/sspm.cpp
+    src/solvers/qpt.cpp
+    src/solvers/tl.cpp
+    src/solvers/rtl.cpp
+    src/solvers/zlkpp.cpp
+    src/solvers/ptl.cpp
+    src/solvers/dtl.cpp
     ${OINK_HDRS}
 )
 

diff --git a/src/solvers.cpp b/src/solvers.cpp
@@ -16,29 +16,29 @@
 
 #include "oink/solvers.hpp"
 
-#include "zlk.hpp"
-#include "pp.hpp"
-#include "ppp.hpp"
-#include "rr.hpp"
-#include "dp.hpp"
-#include "rrdp.hpp"
-#include "fpi.hpp"
-#include "fpj.hpp"
-#include "psi.hpp"
-#include "ssi.hpp"
-#include "spm.hpp"
-#include "tspm.hpp"
-#include "mspm.hpp"
-#include "qpt.hpp"
-#include "tl.hpp"
-#include "rtl.hpp"
-#include "npp.hpp"
-#include "sspm.hpp"
-#include "zlkpp.hpp"
-#include "zlkq.hpp"
-#include "ppq.hpp"
-#include "ptl.hpp"
-#include "dtl.hpp"
+#include "solvers/zlk.hpp"
+#include "solvers/pp.hpp"
+#include "solvers/ppp.hpp"
+#include "solvers/rr.hpp"
+#include "solvers/dp.hpp"
+#include "solvers/rrdp.hpp"
+#include "solvers/fpi.hpp"
+#include "solvers/fpj.hpp"
+#include "solvers/psi.hpp"
+#include "solvers/ssi.hpp"
+#include "solvers/spm.hpp"
+#include "solvers/tspm.hpp"
+#include "solvers/mspm.hpp"
+#include "solvers/qpt.hpp"
+#include "solvers/tl.hpp"
+#include "solvers/rtl.hpp"
+#include "solvers/npp.hpp"
+#include "solvers/sspm.hpp"
+#include "solvers/zlkpp.hpp"
+#include "solvers/zlkq.hpp"
+#include "solvers/ppq.hpp"
+#include "solvers/ptl.hpp"
+#include "solvers/dtl.hpp"
 
 namespace pg {
 

diff --git a/src/dp.cpp → src/solvers/dp.cpp b/src/dp.cpp → src/solvers/dp.cpp
diff --git a/src/dp.hpp → src/solvers/dp.hpp b/src/dp.hpp → src/solvers/dp.hpp
diff --git a/src/dtl.cpp → src/solvers/dtl.cpp b/src/dtl.cpp → src/solvers/dtl.cpp
diff --git a/src/dtl.hpp → src/solvers/dtl.hpp b/src/dtl.hpp → src/solvers/dtl.hpp
diff --git a/src/fpi.cpp → src/solvers/fpi.cpp b/src/fpi.cpp → src/solvers/fpi.cpp
diff --git a/src/fpi.hpp → src/solvers/fpi.hpp b/src/fpi.hpp → src/solvers/fpi.hpp
diff --git a/src/fpj.cpp → src/solvers/fpj.cpp b/src/fpj.cpp → src/solvers/fpj.cpp
diff --git a/src/fpj.hpp → src/solvers/fpj.hpp b/src/fpj.hpp → src/solvers/fpj.hpp
diff --git a/src/mspm.cpp → src/solvers/mspm.cpp b/src/mspm.cpp → src/solvers/mspm.cpp
diff --git a/src/mspm.hpp → src/solvers/mspm.hpp b/src/mspm.hpp → src/solvers/mspm.hpp
diff --git a/src/npp.cpp → src/solvers/npp.cpp b/src/npp.cpp → src/solvers/npp.cpp
diff --git a/src/npp.hpp → src/solvers/npp.hpp b/src/npp.hpp → src/solvers/npp.hpp
diff --git a/src/pp.cpp → src/solvers/pp.cpp b/src/pp.cpp → src/solvers/pp.cpp
diff --git a/src/pp.hpp → src/solvers/pp.hpp b/src/pp.hpp → src/solvers/pp.hpp
diff --git a/src/ppp.cpp → src/solvers/ppp.cpp b/src/ppp.cpp → src/solvers/ppp.cpp
diff --git a/src/ppp.hpp → src/solvers/ppp.hpp b/src/ppp.hpp → src/solvers/ppp.hpp
diff --git a/src/ppq.cpp → src/solvers/ppq.cpp b/src/ppq.cpp → src/solvers/ppq.cpp
diff --git a/src/ppq.hpp → src/solvers/ppq.hpp b/src/ppq.hpp → src/solvers/ppq.hpp
diff --git a/src/psi.cpp → src/solvers/psi.cpp b/src/psi.cpp → src/solvers/psi.cpp
diff --git a/src/psi.hpp → src/solvers/psi.hpp b/src/psi.hpp → src/solvers/psi.hpp
diff --git a/src/ptl.cpp → src/solvers/ptl.cpp b/src/ptl.cpp → src/solvers/ptl.cpp
diff --git a/src/ptl.hpp → src/solvers/ptl.hpp b/src/ptl.hpp → src/solvers/ptl.hpp
diff --git a/src/qpt.cpp → src/solvers/qpt.cpp b/src/qpt.cpp → src/solvers/qpt.cpp
diff --git a/src/qpt.hpp → src/solvers/qpt.hpp b/src/qpt.hpp → src/solvers/qpt.hpp
diff --git a/src/rr.cpp → src/solvers/rr.cpp b/src/rr.cpp → src/solvers/rr.cpp
diff --git a/src/rr.hpp → src/solvers/rr.hpp b/src/rr.hpp → src/solvers/rr.hpp
@@ -19,7 +19,7 @@
 
 #include <queue>
 
-#include "pp.hpp"
+#include "solvers/pp.hpp"
 
 namespace pg {
 

diff --git a/src/rrdp.cpp → src/solvers/rrdp.cpp b/src/rrdp.cpp → src/solvers/rrdp.cpp
diff --git a/src/rrdp.hpp → src/solvers/rrdp.hpp b/src/rrdp.hpp → src/solvers/rrdp.hpp
diff --git a/src/rtl.cpp → src/solvers/rtl.cpp b/src/rtl.cpp → src/solvers/rtl.cpp
diff --git a/src/rtl.hpp → src/solvers/rtl.hpp b/src/rtl.hpp → src/solvers/rtl.hpp
diff --git a/src/spm.cpp → src/solvers/spm.cpp b/src/spm.cpp → src/solvers/spm.cpp
diff --git a/src/spm.hpp → src/solvers/spm.hpp b/src/spm.hpp → src/solvers/spm.hpp
diff --git a/src/ssi.cpp → src/solvers/ssi.cpp b/src/ssi.cpp → src/solvers/ssi.cpp
diff --git a/src/ssi.hpp → src/solvers/ssi.hpp b/src/ssi.hpp → src/solvers/ssi.hpp
diff --git a/src/sspm.cpp → src/solvers/sspm.cpp b/src/sspm.cpp → src/solvers/sspm.cpp
diff --git a/src/sspm.hpp → src/solvers/sspm.hpp b/src/sspm.hpp → src/solvers/sspm.hpp
diff --git a/src/tl.cpp → src/solvers/tl.cpp b/src/tl.cpp → src/solvers/tl.cpp
diff --git a/src/tl.hpp → src/solvers/tl.hpp b/src/tl.hpp → src/solvers/tl.hpp
diff --git a/src/tspm.cpp → src/solvers/tspm.cpp b/src/tspm.cpp → src/solvers/tspm.cpp
diff --git a/src/tspm.hpp → src/solvers/tspm.hpp b/src/tspm.hpp → src/solvers/tspm.hpp
diff --git a/src/zlk.cpp → src/solvers/zlk.cpp b/src/zlk.cpp → src/solvers/zlk.cpp
diff --git a/src/zlk.hpp → src/solvers/zlk.hpp b/src/zlk.hpp → src/solvers/zlk.hpp
diff --git a/src/zlkpp.cpp → src/solvers/zlkpp.cpp b/src/zlkpp.cpp → src/solvers/zlkpp.cpp
diff --git a/src/zlkpp.hpp → src/solvers/zlkpp.hpp b/src/zlkpp.hpp → src/solvers/zlkpp.hpp
diff --git a/src/zlkq.cpp → src/solvers/zlkq.cpp b/src/zlkq.cpp → src/solvers/zlkq.cpp
diff --git a/src/zlkq.hpp → src/solvers/zlkq.hpp b/src/zlkq.hpp → src/solvers/zlkq.hpp