From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 9 Dec 2020 19:44:30 +0000 (-0800)
Subject: kind_map: Remove unused Accessor class. (#5641)
X-Git-Tag: cvc5-1.0.0~2465
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ea41cab78f69fbd600784c6a8c990477fda2f7fe;p=cvc5.git

kind_map: Remove unused Accessor class. (#5641)
---

diff --git a/src/expr/kind_map.h b/src/expr/kind_map.h
index 996a32268..ef8500ec3 100644
--- a/src/expr/kind_map.h
+++ b/src/expr/kind_map.h
@@ -33,41 +33,6 @@ class KindMap {
 
   uint64_t d_bitmap[SIZE];
 
-  /**
-   * Accessor proxy class used so that things like "map[k] = true"
-   * will work as expected (we have to return a proxy from
-   * KindMap::operator[]() in that case, since we can't construct an
-   * address to the individual *bit* in the packed representation).
-   */
-  class Accessor {
-    KindMap& d_map;
-    Kind d_kind;
-
-    Accessor(KindMap& m, Kind k) :
-      d_map(m),
-      d_kind(k) {
-      AssertArgument(k >= Kind(0) && k < kind::LAST_KIND, k, "invalid kind");
-    }
-
-    friend class KindMap;
-
-  public:
-
-    operator bool() const {
-      return d_map.tst(d_kind);
-    }
-
-    Accessor operator=(bool b) const {
-      if(b) {
-        d_map.set(d_kind);
-      } else {
-        d_map.clr(d_kind);
-      }
-      return *this;
-    }
-
-  };/* class KindMap::Accessor */
-
 public:
 
   /** An iterator over a KindMap. */
@@ -223,10 +188,6 @@ public:
   bool operator[](Kind k) const {
     return tst(k);
   }
-  /** Test whether k is in the map (allowing assignment). */
-  Accessor operator[](Kind k) {
-    return Accessor(*this, k);
-  }
 
   /** Test equality between two maps. */
   bool operator==(KindMap m) {