Searched refs:set_restart_id (Results 1 – 2 of 2) sorted by relevance
207 void set_restart_id(RestartId restart_id) { restart_id_ = restart_id; } in set_restart_id() function
199 observer->set_restart_id(restart_id_); in AddObserver()