ng_haig: make StateMap an unordered_map

This commit is contained in:
Justin Viiret 2017-05-15 09:54:09 +10:00 committed by Matthew Barr
parent 31141dd35b
commit 0d7d52625c

View File

@ -42,6 +42,7 @@
#include "util/determinise.h" #include "util/determinise.h"
#include "util/graph.h" #include "util/graph.h"
#include "util/graph_range.h" #include "util/graph_range.h"
#include "util/hash_dynamic_bitset.h"
#include "util/make_unique.h" #include "util/make_unique.h"
#include "util/ue2_containers.h" #include "util/ue2_containers.h"
@ -236,7 +237,7 @@ public:
struct Big_Traits { struct Big_Traits {
using StateSet = dynamic_bitset<>; using StateSet = dynamic_bitset<>;
using StateMap = map<StateSet, dstate_id_t>; using StateMap = unordered_map<StateSet, dstate_id_t, hash_dynamic_bitset>;
static StateSet init_states(u32 num) { static StateSet init_states(u32 num) {
return StateSet(num); return StateSet(num);