refactor: remove not needed boost includes

SoftVarE-Group · Nov 12, 2024 · c2dd048 · c2dd048
1 parent c873f7c
commit c2dd048
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 8 deletions.
diff --git a/src/caching/CacheListLRU.hpp b/src/caching/CacheListLRU.hpp
@@ -19,7 +19,6 @@
 
 #include "src/hashing/hasher.hpp"
 #include <array>
-#include <boost/program_options.hpp>
 #include <optional>
 #include <vector>
 
@@ -39,7 +38,6 @@ namespace d4 {
 // depends on depth-first free/alloc behavior from DPLL. 
 // Should be rewritten...
 
-namespace po = boost::program_options;
 template <class T> class CacheListLRU : public CacheManager<T> {
 private:
   const unsigned SIZE_HASH = 1024 * 1024;

diff --git a/src/heuristics/ScoringMethod.hpp b/src/heuristics/ScoringMethod.hpp
@@ -16,7 +16,6 @@
  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
 #pragma once
-#include <boost/program_options.hpp>
 #include <functional>
 #include <src/problem/ProblemTypes.hpp>
 #include <src/solvers/ActivityManager.hpp>
@@ -25,7 +24,6 @@
 #include <vector>
 
 namespace d4 {
-namespace po = boost::program_options;
 class ScoringMethod {
 public:
   static ScoringMethod *makeScoringMethod(Config &config, SpecManager &p,

diff --git a/src/methods/ProjDpllStyleMethod.hpp b/src/methods/ProjDpllStyleMethod.hpp
@@ -20,7 +20,6 @@
 
 #include "src/heuristics/cnf/PartitioningHeuristicBipartiteDual.hpp"
 #include <algorithm>
-#include <boost/program_options.hpp>
 #include <ctime>
 #include <iomanip>
 #include <iostream>
@@ -62,7 +61,6 @@ auto since(std::chrono::time_point<clock_t, duration_t> const &start) {
 }
 
 namespace d4 {
-namespace po = boost::program_options;
 template <class T> class Counter;
 
 template <class T, class U, class O>

diff --git a/src/specs/SpecManager.hpp b/src/specs/SpecManager.hpp
@@ -17,14 +17,12 @@
  */
 #pragma once
 #include "src/utils/Proj.hpp"
-#include <boost/program_options.hpp>
 #include <ranges>
 #include <src/problem/ProblemManager.hpp>
 #include <src/problem/ProblemTypes.hpp>
 #include <vector>
 
 namespace d4 {
-namespace po = boost::program_options;
 class SpecManager {
 protected:
   unsigned m_nbVar;