Add std::hash overloads for Node, TNode and TypeNode. (#6534)

Eliminates NodeHashFunction, TNodeHashFunction and TypeNodeHashFunction.

3 files changed, 3 insertions, 3 deletions

diff --git a/src/theory/bags/inference_manager.h b/src/theory/bags/inference_manager.h
index a74515d37..5ce05baba 100644
--- a/src/theory/bags/inference_manager.h
+++ b/src/theory/bags/inference_manager.h
@@ -35,7 +35,7 @@ class SolverState;
  */
 class InferenceManager : public InferenceManagerBuffered
 {
-  typedef context::CDHashSet<Node, NodeHashFunction> NodeSet;
+  typedef context::CDHashSet<Node> NodeSet;
 
  public:
   InferenceManager(Theory& t, SolverState& s, ProofNodeManager* pnm);
diff --git a/src/theory/bags/make_bag_op.cpp b/src/theory/bags/make_bag_op.cpp
index ed3d4cf26..c03b21236 100644
--- a/src/theory/bags/make_bag_op.cpp
+++ b/src/theory/bags/make_bag_op.cpp
@@ -28,7 +28,7 @@ std::ostream& operator<<(std::ostream& out, const MakeBagOp& op)
 
 size_t MakeBagOpHashFunction::operator()(const MakeBagOp& op) const
 {
-  return TypeNodeHashFunction()(op.getType());
+  return std::hash<TypeNode>()(op.getType());
 }
 
 MakeBagOp::MakeBagOp(const TypeNode& elementType)
diff --git a/src/theory/bags/term_registry.h b/src/theory/bags/term_registry.h
index 6255f3b00..2b0218fdf 100644
--- a/src/theory/bags/term_registry.h
+++ b/src/theory/bags/term_registry.h
@@ -36,7 +36,7 @@ class SolverState;
  */
 class TermRegistry
 {
-  typedef context::CDHashMap<Node, Node, NodeHashFunction> NodeMap;
+  typedef context::CDHashMap<Node, Node> NodeMap;
 
  public:
   TermRegistry(SolverState& state, InferenceManager& im);