Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
BloomFilter Class Reference
Collaboration diagram for BloomFilter:

Public Member Functions

 BloomFilter (size_t mem_size, hash_functions_t hash_functions)
 
 BloomFilter (size_t mem_size)
 
void insert (const int *clause, unsigned int size)
 
uint8_t test_and_insert (const int *clause, unsigned int size)
 
uint8_t test_and_insert (size_t checksum, int max_limit_duplicas)
 
bool contains_or_insert (const int *clause, unsigned int size)
 
bool contains (const int *clause, unsigned int size)
 

The documentation for this class was generated from the following file: