SimpleSharing.hpp

#pragma once
 
#include "sharing/Filters/BloomFilter.hpp"
#include "sharing/SharingStrategy.hpp"
 
#include <vector>
 
class SimpleSharing : public SharingStrategy
{
  public:
    SimpleSharing(const std::shared_ptr<ClauseDatabase>& clauseDB,
                  unsigned int  sizeLimitAtImport,
                  unsigned long literalsPerRoundPerProducer,
                  const std::vector<std::shared_ptr<SharingEntity>>& producers = {},
                  const std::vector<std::shared_ptr<SharingEntity>>& consumers = {});
 
    ~SimpleSharing();
 
    // SharingEntity Interface
    // =======================
    bool importClause(const ClauseExchangePtr& clause) override;
 
    void importClauses(const std::vector<ClauseExchangePtr>& v_clauses) override
    {
        for (auto clause : v_clauses)
            importClause(clause);
    }
 
    // SharingStrategy Interface
    // =========================
 
    bool doSharing() override;
 
  protected:
    int literalPerRound;
 
    std::vector<ClauseExchangePtr> selection;
 
    unsigned int sizeLimit;
};