* src/tgba/bdddict.hh (bdd_dict) <fv_map, vf_map, ref_set,

vr_map, free_annonymous_list_of_type>: Redeclare as std::map,
instead of Sgi::hash_map.  It proved to be faster.
* src/tgbaalgos/ltl2tgba_fm.cc (translate_dict) <fv_map, vf_map>:
Use the same definition as in bdd_dict.
* tgbaalgos/reachiter.hh, tgbaalgos/replayrun.cc: Explicitly
include misc/hash.hh.

src/tgbaalgos/ltl2tgba_fm.cc

@@ -72,11 +72,8 @@ namespace spot
 
       bdd_dict* dict;
 
-      /// Formula-to-BDD-variable maps.
-      typedef Sgi::hash_map<const formula*, int,
-			    ptr_hash<formula> > fv_map;
-      /// BDD-variable-to-formula maps.
-      typedef Sgi::hash_map<int, const formula*> vf_map;
+      typedef bdd_dict::fv_map fv_map;
+      typedef bdd_dict::vf_map vf_map;
 
       fv_map next_map;	       ///< Maps "Next" variables to BDD variables
       vf_map next_formula_map; ///< Maps BDD variables to "Next" variables

src/tgbaalgos/reachiter.hh

@@ -22,7 +22,7 @@
 #ifndef SPOT_TGBAALGOS_REACHITER_HH
 # define SPOT_TGBAALGOS_REACHITER_HH
 
-#include <map>
+#include "misc/hash.hh"
 #include "tgba/tgba.hh"
 #include <stack>
 #include <deque>

src/tgbaalgos/replayrun.cc

@@ -19,6 +19,7 @@
 // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 // 02111-1307, USA.
 
+#include "misc/hash.hh"
 #include "replayrun.hh"
 #include "tgba/tgba.hh"
 #include "emptiness.hh"