mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Merge pull request #1002 from mtrberzi/obj_pair_set
add iterator accessors to obj_pair_set
This commit is contained in:
commit
a9d6ef68f0
|
@ -46,6 +46,11 @@ public:
|
|||
bool contains(obj_pair const & p) const { return m_set.contains(p); }
|
||||
void reset() { m_set.reset(); }
|
||||
bool empty() const { return m_set.empty(); }
|
||||
|
||||
typedef typename chashtable<obj_pair, hash_proc, eq_proc>::iterator iterator;
|
||||
|
||||
iterator begin() { return m_set.begin(); }
|
||||
iterator end() { return m_set.end(); }
|
||||
};
|
||||
|
||||
#endif
|
||||
|
|
Loading…
Reference in a new issue