Lines Matching full:update
48 // void Update(StateId s);
81 void Update(StateId s) { Update_(s); }
110 void Update(StateId s) {}
119 virtual void Update_(StateId s) { Update(s); }
143 void Update(StateId s) {}
151 virtual void Update_(StateId s) { Update(s); }
173 void Update(StateId s) {}
181 virtual void Update_(StateId s) { Update(s); }
190 // it can be reordered in the queue with a call to Update().
212 void Update(StateId s) {
216 heap_.Update(key_[s], s);
234 virtual void Update_(StateId s) { Update(s); }
322 void Update(StateId s) {}
341 virtual void Update_(StateId s) { Update(s); }
373 void Update(StateId s) {}
391 virtual void Update_(StateId s) { Update(s); }
451 void Update(StateId s) {
453 (*queue_)[scc_[s]]->Update(s);
488 virtual void Update_(StateId s) { Update(s); }
603 void Update(StateId s) { queue_->Update(s); }
628 virtual void Update_(StateId s) { Update(s); }
