ClauseDatabasePerSize.hpp

#pragma once
 
#include "containers/ClauseBuffer.hpp"
#include "containers/ClauseDatabase.hpp"
#include <atomic>
#include <vector>
 
class ClauseDatabasePerSize : public ClauseDatabase
{
  public:
    ClauseDatabasePerSize() = delete;
 
    explicit ClauseDatabasePerSize(int maxClauseSize);
 
    ~ClauseDatabasePerSize();
 
    bool addClause(ClauseExchangePtr clause) override;
 
    size_t giveSelection(std::vector<ClauseExchangePtr>& selectedCls, unsigned int literalCountLimit) override;
 
    void getClauses(std::vector<ClauseExchangePtr>& v_cls) override;
 
    bool getOneClause(ClauseExchangePtr& cls) override;
 
    size_t getSize() const override;
 
    size_t shrinkDatabase() override
    {
        LOGDEBUG3("This does nothing!");
        return (size_t)-1;
    };
 
    void clearDatabase() override;
 
  private:
    void initializeQueues(unsigned int maxClsSize);
 
  private:
    std::vector<std::unique_ptr<ClauseBuffer>> clauses;
 
  public:
    size_t initLiteralCount;
 
    int maxClauseSize;
};