// Let an object un-register its use of another object void object_registrar::unregister_use_imp ( object_id owner, object_id owned ) { if ( db_.count(owned) > 0 ) { // We don't care to record usage un-registrations } else { defrauders_out_.push_back( std::make_pair(owner, owned) ); #if CONTROL_EXTRA_PRINTING std::cout << "Attempted to disown a non-existant " << owned << " by " << owner << '.' << std::endl; #endif } }
// Let an object register its existence void object_registrar::register_object_imp ( object_id obj ) { if ( db_.count(obj) <= 0 ) { db_.insert( obj ); #if CONTROL_EXTRA_PRINTING std::cout << "Registered " << obj << '.' << std::endl; #endif } else { overeager_.push_back( obj ); #if CONTROL_EXTRA_PRINTING std::cout << "Attempted to register a non-existant " << obj << '.' << std::endl; #endif } }
size_type count (const key_type& k) const { return m_set.count (k); }