mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

expose iterator api of obj_hashtable

Browse source
This commit is contained in:
Arie Gurfinkel 2017-06-20 20:53:04 -04:00
parent f3019a3de9
commit 372e8b3c49
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/util/obj_hashtable.h
View file

@ -70,6 +70,7 @@ public:
m_value(v) { m_value(v) {
} }
Value const & get_value() const { return m_value; } Value const & get_value() const { return m_value; }
Key & get_key () const { return *m_key; }
unsigned hash() const { return m_key->hash(); } unsigned hash() const { return m_key->hash(); }
bool operator==(key_data const & other) const { return m_key == other.m_key; } bool operator==(key_data const & other) const { return m_key == other.m_key; }
}; };
@ -100,6 +101,8 @@ public:
m_table(DEFAULT_HASHTABLE_INITIAL_CAPACITY) {} m_table(DEFAULT_HASHTABLE_INITIAL_CAPACITY) {}
typedef typename table::iterator iterator; typedef typename table::iterator iterator;
typedef typename table::data data;
typedef typename table::entry entry;
typedef Key key; typedef Key key;
typedef Value value; typedef Value value;