81   void Update(StateId s) { Update_(s); }  in Update()  function
110   void Update(StateId s) {}  in Update()  function
119   virtual void Update_(StateId s) { Update(s); }  in Update_()
143   void Update(StateId s) {}  in Update()  function
151   virtual void Update_(StateId s) { Update(s); }  in Update_()
173   void Update(StateId s) {}  in Update()  function
181   virtual void Update_(StateId s) { Update(s); }  in Update_()
212   void Update(StateId s) {  in Update()  function
216       heap_.Update(key_[s], s);  in Update()
234   virtual void Update_(StateId s) { Update(s); }  in Update_()
322   void Update(StateId s) {}  in Update()  function
341   virtual void Update_(StateId s) { Update(s); }  in Update_()
373   void Update(StateId s) {}  in Update()  function
391   virtual void Update_(StateId s) { Update(s); }  in Update_()
451   void Update(StateId s) {  in Update()  function
453       (*queue_)[scc_[s]]->Update(s);  in Update()
488   virtual void Update_(StateId s) { Update(s); }  in Update_()
603   void Update(StateId s) { queue_->Update(s); }  in Update()  function
628   virtual void Update_(StateId s) { Update(s); }  in Update_()