Method empty

deps/CVC4/context/cdhashmap.h:328–330

  }

  bool empty() const {
    return d_map.empty();
  }

  size_t count(const Key& k) const {
    return d_map.count(k);