ClauseDatabaseBufferPerEntity.hpp

#pragma once
 
#include "containers/ClauseBuffer.hpp"
#include "containers/ClauseDatabase.hpp"
#include <memory>
#include <shared_mutex>
#include <unordered_map>
#include <vector>
 
class ClauseDatabaseBufferPerEntity : public ClauseDatabase
{
  public:
    ClauseDatabaseBufferPerEntity() = delete;
 
    explicit ClauseDatabaseBufferPerEntity(int maxClauseSize);
 
    ~ClauseDatabaseBufferPerEntity() override = default;
 
    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;
 
    void clearDatabase() override;
 
    size_t shrinkDatabase() override
    {
        LOGDEBUG3("This does nothing!");
        return (size_t)-1;
    };
 
  private:
    std::unordered_map<int, std::unique_ptr<ClauseBuffer>> entityDatabases;
 
    mutable std::shared_mutex dbmutex;
 
    unsigned int maxClauseSize;
};