return !(lhs == rhs);
}
+#if 0
void dump() const
{
std::clog << "num_entries = " << num_entries << std::endl;
std::clog << (it->first == EMPTY ? "free" : (it->first == USED ? "used" : "erased")) << ", " << it->second.first << " -> " << it->second.second << std::endl;
}
}
+#endif
};
/** Return pointer to bucket corresponding to key (or first empty bucket). */