Lines Matching refs:height_
327 for (size_t i = height_.size(); i <= (size_t)s; ++i)
328 height_.push_back(-1);
346 if (height_[arc.nextstate] + 1 > height_[s])
347 height_[s] = height_[arc.nextstate] + 1;
353 if (height_[s] == -1) height_[s] = 0;
354 StateId h = height_[s] + 1;
356 if (h > height_[parent]) height_[parent] = h;
366 const vector<StateId>& height() const { return height_; }
371 vector<StateId> height_;
