| erase(const void *object, const std::string *type_name) | operation_history_t | [inline] |
| insert(const void *object, const std::string *type_name) | operation_history_t | [inline] |
| m_objects | operation_history_t | [private] |
| set_t typedef | operation_history_t | [private] |
1.4.7