max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

feat(library/phash_map): add name_hash_map

Browse source
This commit is contained in:
Leonardo de Moura 2017-05-08 14:30:38 -07:00
parent bea122bb22
commit afadf2b1e1
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/library/phash_map.h
View file

@ -6,6 +6,7 @@ Author: Leonardo de Moura
*/
#pragma once
#include "util/bit_tricks.h"
#include "util/name.h"
#include "library/phashtable.h"
namespace lean {
@ -116,4 +117,7 @@ public:
phashtable2map<default_map_entry<Key, Value>, HashProc, EqProc, ThreadSafe>(h, e) {
}
};
template<typename T>
using name_hash_map = phash_map<name, T, name_hash, name_eq, true>;
}