AMulet 2.0
AIG Multiplier Verification Tool
hash_val.h
Go to the documentation of this file.
1 /*------------------------------------------------------------------------*/
8 /*------------------------------------------------------------------------*/
9 #ifndef _hash_val_H
10 #define _hash_val_H
11 /*------------------------------------------------------------------------*/
12 #include <assert.h>
13 #include <string>
14 /*------------------------------------------------------------------------*/
20 uint16_t rand16 ();
21 
27 uint64_t rand64 ();
28 
29 
33 void init_nonces ();
34 
42 uint64_t get_nonces_entry (size_t index);
43 
51 uint64_t hash_string (const std::string& str);
52 
53 #endif
uint64_t rand64()
Definition: hash_val.cpp:30
uint16_t rand16()
Definition: hash_val.cpp:21
void init_nonces()
Definition: hash_val.cpp:39
uint64_t get_nonces_entry(size_t index)
Definition: hash_val.cpp:47
uint64_t hash_string(const std::string &str)
Definition: hash_val.cpp:54