determinisation: use unordered_map to hold state set -> id mapping

This commit is contained in:
Alex Coyte
2017-02-14 09:56:43 +11:00
committed by Matthew Barr
parent 1be1293491
commit fddcdbb129
3 changed files with 100 additions and 2 deletions

View File

@@ -991,6 +991,7 @@ SET (hs_SRCS
src/util/fatbit_build.h
src/util/graph.h
src/util/hash.h
src/util/hash_dynamic_bitset.h
src/util/math.h
src/util/multibit_build.cpp
src/util/multibit_build.h