clear();
key_less = other.key_comp();
- if (other.size() != 0)
+ if (!other.empty())
{
stats.leaves = stats.innernodes = 0;
root = copy_recursive(other.root);
stats( other.stats ),
key_less( other.key_comp() )
{
- if (size() > 0)
+ if (!empty())
{
stats.leaves = stats.innernodes = 0;
root = copy_recursive(other.root);