Searched refs:max_height_ (Results 1 – 1 of 1) sorted by relevance
319 HeightVisitor() : max_height_(0), num_states_(0) { } in HeightVisitor()357 if (h > (StateId)max_height_) max_height_ = h; in FinishState()364 size_t max_height() const { return max_height_; } in max_height()372 size_t max_height_; variable