Lines Matching defs:filter
51 /** The filter itself. */
52 std::vector<SatCounter> filter;
54 /** Number of bits needed to represent the size of the filter. */
57 /** Threshold at which a filter entry starts being considered as set. */
62 * Create and clear the filter.
66 filter(p->size, SatCounter(p->num_bits)),
74 * Clear the filter by resetting all values.
78 for (auto& entry : filter) {
87 * @param other The other bloom filter to merge with.
92 assert(filter.size() == other->filter.size());
93 for (int i = 0; i < filter.size(); ++i){
94 filter[i] += other->filter[i];
99 * Perform the filter specific function to set the corresponding
107 * Perform the filter specific function to clear the corresponding
109 * filter does not support element deletion.
116 * Check if the corresponding filter entries of an address should be
120 * @return Whether the respective filter entry is set.
129 * Get the value stored in the corresponding filter entry of an address.
132 * @param Get the value stored in the respective filter entry.
137 * Get the total value stored in the filter entries.
139 * @return The sum of all filter entries.
144 for (const auto& entry : filter) {