Merge pull request #895 from NathanJPhillips/cleanup/break-irep-hash-dependency

Moved vector_hasht implementation into cpp file

Author: Daniel Kroening

src/util/irep_hash_container.cpp

@@ -8,6 +8,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "irep_hash_container.h"
 #include "irep.h"
+#include "irep_hash.h"
 
 /*******************************************************************\
 
@@ -41,6 +42,27 @@ size_t irep_hash_container_baset::number(const irept &irep)
 
 /*******************************************************************\
 
+Function: irep_hash_container_baset::vector_hasht::operator()
+
+  Inputs:
+
+ Outputs:
+
+ Purpose:
+
+\*******************************************************************/
+
+size_t irep_hash_container_baset::vector_hasht::operator()(
+  const packedt &p) const
+{
+  size_t result=p.size(); // seed
+  for(auto elem : p)
+    result=hash_combine(result, elem);
+  return result;
+}
+
+/*******************************************************************\
+
 Function: irep_hash_container_baset::pack
 
   Inputs:

src/util/irep_hash_container.h

@@ -12,7 +12,6 @@ Author: Daniel Kroening, [email protected]
 #include <cstdlib>  // for size_t
 #include <vector>
 
-#include "irep_hash.h"
 #include "numbering.h"
 
 class irept;
@@ -55,13 +54,7 @@ class irep_hash_container_baset
 
   struct vector_hasht
   {
-    size_t operator()(const packedt &p) const
-    {
-      size_t result=p.size(); // seed
-      for(auto elem : p)
-        result=hash_combine(result, elem);
-      return result;
-    }
+    size_t operator()(const packedt &p) const;
   };
 
   typedef hash_numbering<packedt, vector_hasht> numberingt;