From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 18 Nov 2020 22:45:52 +0000 (-0800)
Subject: Add -> operator overload for cd* iterators. (#5464)
X-Git-Tag: cvc5-1.0.0~2583
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2901ee18f824d1f9e4338ef2853da0ab4ccbff0e;p=cvc5.git

Add -> operator overload for cd* iterators. (#5464)
---

diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h
index 77c9012ff..afcfb00a9 100644
--- a/src/context/cdhashmap.h
+++ b/src/context/cdhashmap.h
@@ -418,6 +418,7 @@ public:
 
     // Dereference operators.
     const value_type& operator*() const { return d_it->getValue(); }
+    const value_type* operator->() const { return &d_it->getValue(); }
 
     // Prefix increment
     iterator& operator++()
diff --git a/src/context/cdhashset.h b/src/context/cdhashset.h
index 9bbf6537c..c8dcc7888 100644
--- a/src/context/cdhashset.h
+++ b/src/context/cdhashset.h
@@ -115,6 +115,7 @@ public:
       V operator*() const {
         return d_val;
       }
+      V* operator->() const { return &d_val; }
     };/* class CDSet<>::iterator::Proxy */
 
     // Actual postfix increment: returns Proxy with the old value.
diff --git a/src/context/cdlist.h b/src/context/cdlist.h
index 89bf2b5e8..cb5e552ac 100644
--- a/src/context/cdlist.h
+++ b/src/context/cdlist.h
@@ -357,6 +357,8 @@ public:
       return *d_it;
     }
 
+    inline const T* operator->() const { return d_it; }
+
     /** Prefix increment */
     const_iterator& operator++() {
       ++d_it;