SharingStrategyFactory.hpp

#pragma once
 
#include "./Sharer.hpp"
 
#include "./utils/ErrorCodes.hpp"
#include "./utils/MpiUtils.hpp"
#include "./utils/Parameters.hpp"
 
#include "./sharing/GlobalStrategies/GlobalSharingStrategy.hpp"
#include "./sharing/SharingStrategy.hpp"
 
#include "solvers/CDCL/SolverCdclInterface.hpp"
#include "solvers/LocalSearch/LocalSearchInterface.hpp"
 
#include <vector>
 
#define LOCAL_SHARING_STRATEGY_COUNT 5
 
struct SharingStrategyFactory
{
    static int selectedLocal;
 
    static int selectedGlobal;
 
    static void instantiateLocalStrategies(int strategyNumber,
                                           std::vector<std::shared_ptr<SharingStrategy>>& localStrategies,
                                           std::vector<std::shared_ptr<SolverCdclInterface>>& cdclSolvers);
 
    static void instantiateGlobalStrategies(int strategyNumber,
                                            std::vector<std::shared_ptr<GlobalSharingStrategy>>& globalStrategies);
 
    static void launchSharers(std::vector<std::shared_ptr<SharingStrategy>>& sharingStrategies,
                              std::vector<std::unique_ptr<Sharer>>& sharers);
 
    static void addEntitiesToLocal(std::vector<std::shared_ptr<SharingStrategy>>& localStrategies,
                                   std::vector<std::shared_ptr<SolverCdclInterface>>& newSolvers);
};