bloom_filter_stable.h

#ifndef BLOOM_FILTER_STABLE_H
#define BLOOM_FILTER_STABLE_H

#include <random>
#include "bloom_filter_basic.h"
#include "detail/evict.h"

namespace bf {

template <typename Core = core<>, typename Generator = std::mt19937>
class stable : public basic<Core>
{
    typedef Generator generator_type;
    typedef basic<Core> base;

public:
    typedef typename base::core_type core_type;

    stable(core_type&& core, const generator_type& generator, unsigned d)
      : base(std::forward<core_type>(core))
      , generator_(generator)
      , d_(d)
    {
        assert(d > 0);
    }

    template <typename T>
    void add(const T& x)
    {
        detail::evict::random(base::core_, generator_, d_);
        detail::basic::add(x, base::core_.store.max(), base::core_);
    }

    // Spectral bloom filters do not support deletion of items.
    template <typename T>
    void remove(const T& x) = delete;

private:
    generator_type generator_;  
    unsigned d_;                
};

} // namespace bf

#endif