Method end

deps/CVC4/context/cdinsert_hashmap.h:379–381

* Returns an iterator to the end of the map. * Acts like a hash_map::const_iterator. */

   * Acts like a hash_map::const_iterator.
   */
  const_iterator end() const{
    return d_insertMap->end();
  }

  /** Returns an iterator to the start of the set of keys. */
  key_iterator key_begin() const{