Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
hashmap.hpp
1#ifndef _hashmap_hpp_INCLUDED
2#define _hashmap_hpp_INCLUDED
3typedef long long ll;
4
5struct DataType
6{
7 ll key;
8 int val;
9};
10
12{
13 DataType data;
14 struct HashNode* next;
15};
16
17struct HashMap
18{
19 int size;
20 HashNode** table;
21 HashMap(int size = 10000007);
22 ~HashMap();
23 int get(ll key, int vsign);
24 void erase(ll key);
25 void insert(ll key, int value);
26};
27
28#endif
Definition hashmap.hpp:6
Definition hashmap.hpp:18
Definition hashmap.hpp:12