void insert(const T& item)
 {
   insert_type result = list_.insert(item);
   if(result.second)
   {
     if(removed_list_.erase(item) == 0)
     {
       added_list_.insert(item);
     }
     state_index_++;
   }
 }
Exemple #2
0
 void event_callback(const std::string type, const std::string data, const std::string extra)
 {
   event_record r;
   list_type::iterator record = list_.insert(list_.begin(), r);
   record->type = type;
   record->data = data;
   record->extra = extra;
 }
 void erase(const T& item)
 {
   if(list_.erase(item) > 0)
   {
     if(added_list_.erase(item) == 0)
     {
       removed_list_.insert(item);
     }
     state_index_++;
   }
 }