50 #ifndef _cvc3__hash__hash_set_h_
51 #define _cvc3__hash__hash_set_h_
63 struct _Identity :
public std::unary_function<_Tp,_Tp> {
64 const _Tp&
operator()(
const _Tp& __x)
const {
return __x; }
76 template <
class _Key,
class _HashFcn = hash<_Key>,
77 class _EqualKey = std::equal_to<_Key> >
123 d_table(initial_capacity, hash)
128 const _HashFcn&
hash,
const _EqualKey& equal) :
129 d_table(initial_capacity, hash, equal)
139 if (
this != &other) {