Method empty

deps/CVC4/context/cdhashset.h:64–66

  }

  bool empty() const {
    return super::empty();
  }

  bool insert(const V& v) {
    return super::insert_safe(v, true);