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

Public Member Functions

 HashMap (int size=10000007)
 
int get (ll key, int vsign)
 
void erase (ll key)
 
void insert (ll key, int value)
 

Public Attributes

int size
 
HashNode ** table
 

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