evaluate the use of dense_hash_map
This is part of the Sparse hash project. It is often reported to be faster than the equivalent STL hash map. It might be useful in Spot and BuDDy.
This is part of the Sparse hash project. It is often reported to be faster than the equivalent STL hash map. It might be useful in Spot and BuDDy.