kind_map: Remove unused Accessor class. (#5641)

diff --git a/src/expr/kind_map.h b/src/expr/kind_map.h
index 996a3226883aa5320a3d4bfee0ceae2984ebe854..ef8500ec3c6f11e41f201dbd9fa8fd6be7811c17 100644 (file)
--- 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) {