Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
src
preprocessors
PRS-Preprocessors
utils-prs
hashmap.hpp
1
#ifndef _hashmap_hpp_INCLUDED
2
#define _hashmap_hpp_INCLUDED
3
typedef
long
long
ll;
4
5
struct
DataType
6
{
7
ll key;
8
int
val;
9
};
10
11
struct
HashNode
12
{
13
DataType
data;
14
struct
HashNode
* next;
15
};
16
17
struct
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
DataType
Definition
hashmap.hpp:6
HashMap
Definition
hashmap.hpp:18
HashNode
Definition
hashmap.hpp:12
Generated by
1.12.0 Doxygen Theme by
doxygen-awesome