Searched refs:hvisitor (Results 1 – 1 of 1) sorted by relevance
394 HeightVisitor hvisitor; in Initialize() local395 DfsVisit(fst, &hvisitor); in Initialize()398 partition_.Initialize(hvisitor.num_states()); in Initialize()399 partition_.AllocateClasses(hvisitor.max_height() + 1); in Initialize()400 const vector<StateId>& hstates = hvisitor.height(); in Initialize()