LocalSearchInterface.hpp

#pragma once
 
#include "solvers/SolverInterface.hpp"
 
enum LocalSearchType
{
    YALSAT = 0,
};
 
struct LocalSearchStats
{
    unsigned int numberUnsatClauses;
    unsigned int numberFlips;
    /*TODO add all needed stats */
};
 
class LocalSearchInterface : public SolverInterface
{
  public:
    LocalSearchInterface(int solverId, LocalSearchType _lsType)
        : SolverInterface(SolverAlgorithmType::LOCAL_SEARCH, solverId)
        , lsType(_lsType)
    {
    }
 
    virtual ~LocalSearchInterface() = default;
 
    virtual void setPhase(const unsigned int var, const bool phase) = 0;
 
    void printWinningLog()
    {
        this->SolverInterface::printWinningLog();
        LOGSTAT("The winner is %u.", this->getSolverId());
    }
 
    unsigned int getNbUnsat() { return this->lsStats.numberUnsatClauses; }
 
  protected:
    LocalSearchType lsType;
 
    LocalSearchStats lsStats;
 
    std::vector<int> finalTrail;
};