50 #ifndef _cvc3__hash__hash_map_h_
51 #define _cvc3__hash__hash_map_h_
63 template <
class _Pair>
64 struct _Select1st :
public std::unary_function<_Pair, typename _Pair::first_type> {
65 const typename _Pair::first_type&
operator()(
const _Pair& __x)
const {
80 template <
class _Key,
class _Data,
class _HashFcn = hash<_Key>,
81 class _EqualKey = std::equal_to<_Key> >
133 d_table(initial_capacity, hash)
138 const _HashFcn&
hash,
const _EqualKey& equal) :
139 d_table(initial_capacity, hash, equal)
149 if (
this != &other) {