From 372e8b3c4910954d4df1e466a2000aca7a9b3df0 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Tue, 20 Jun 2017 20:53:04 -0400
Subject: [PATCH] expose iterator api of obj_hashtable

---
 src/util/obj_hashtable.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/util/obj_hashtable.h b/src/util/obj_hashtable.h
index 383ecaeb3..2720f1b00 100644
--- a/src/util/obj_hashtable.h
+++ b/src/util/obj_hashtable.h
@@ -70,6 +70,7 @@ public:
             m_value(v) {
         }
         Value const & get_value() const { return m_value; }
+        Key & get_key () const { return *m_key; }
         unsigned hash() const { return m_key->hash(); }
         bool operator==(key_data const & other) const { return m_key == other.m_key; }
     };
@@ -100,6 +101,8 @@ public:
         m_table(DEFAULT_HASHTABLE_INITIAL_CAPACITY) {}
     
     typedef typename table::iterator iterator;
+    typedef typename table::data data;
+    typedef typename table::entry entry;
     typedef Key    key;
     typedef Value  value;