Searched refs:old_obs (Results 1 – 1 of 1) sorted by relevance
126 std::vector<observer const*> const& old_obs, in other_observers_unchanged() argument142 std::vector<observer const*>::const_iterator old_it = old_obs.begin(); in other_observers_unchanged()143 while(remaining.cend() != remaining_it && old_obs.cend() != old_it) { in other_observers_unchanged()