ClauseDatabase.hpp

#pragma once
 
#include "containers/ClauseExchange.hpp"
 
#include <atomic>
#include <memory>
#include <numeric>
#include <sstream>
#include <vector>
 
class ClauseDatabase
{
  public:
    ClauseDatabase() {}
 
    virtual ~ClauseDatabase() {}
 
    virtual bool addClause(ClauseExchangePtr clause) = 0;
 
    virtual size_t giveSelection(std::vector<ClauseExchangePtr>& selectedCls, unsigned int literalCountLimit ) = 0;
 
    virtual void getClauses(std::vector<ClauseExchangePtr>& v_cls) = 0;
 
    virtual bool getOneClause(ClauseExchangePtr& cls) = 0;
 
    virtual size_t getSize() const = 0;
 
    virtual size_t shrinkDatabase() = 0;
 
    virtual void clearDatabase() = 0;
};