SolverFactory.hpp

#pragma once
 
#include "solvers/CDCL/SolverCdclInterface.hpp"
#include "solvers/LocalSearch/LocalSearchInterface.hpp"
 
#include <atomic>
#include <vector>
 
using IDScaler = std::function<unsigned(const std::shared_ptr<SolverInterface>&)>;
 
class SolverFactory
{
  public:
    static SolverAlgorithmType createSolver(char type,
                                            char importDbType,
                                            std::shared_ptr<SolverInterface>& createdSolver);
 
    static SolverAlgorithmType createSolver(char type,
                                            char importDBType,
                                            std::vector<std::shared_ptr<SolverCdclInterface>>& cdclSolvers,
                                            std::vector<std::shared_ptr<LocalSearchInterface>>& localSolvers);
 
    static void createSolvers(int count,
                              char importDBType,
                              std::string portfolio,
                              std::vector<std::shared_ptr<SolverCdclInterface>>& cdclSolvers,
                              std::vector<std::shared_ptr<LocalSearchInterface>>& localSolvers);
 
    static void printStats(const std::vector<std::shared_ptr<SolverCdclInterface>>& cdclSolvers,
                           const std::vector<std::shared_ptr<LocalSearchInterface>>& localSolvers);
 
    static void diversification(
        const std::vector<std::shared_ptr<SolverCdclInterface>>& cdclSolvers,
        const std::vector<std::shared_ptr<LocalSearchInterface>>& localSolvers,
        const IDScaler& generalIdScaler =
            [](const std::shared_ptr<SolverInterface>& solver) { return solver->getSolverId(); },
        const IDScaler& typeIdScaler =
            [](const std::shared_ptr<SolverInterface>& solver) { return solver->getSolverTypeId(); });
 
  public:
    static std::atomic<int> currentIdSolver;
};