Lines Matching refs:height_
340 for (size_t i = height_.size(); i <= s; ++i)
341 height_.push_back(-1);
359 if (height_[arc.nextstate] + 1 > height_[s])
360 height_[s] = height_[arc.nextstate] + 1;
366 if (height_[s] == -1) height_[s] = 0;
367 StateId h = height_[s] + 1;
369 if (h > height_[parent]) height_[parent] = h;
379 const vector<StateId>& height() const { return height_; }
384 vector<StateId> height_;
