Searched refs:hvisitor (Results 1 – 2 of 2) sorted by relevance
381 HeightVisitor hvisitor; in Initialize() local382 DfsVisit(fst, &hvisitor); in Initialize()385 partition_.Initialize(hvisitor.num_states()); in Initialize()386 partition_.AllocateClasses(hvisitor.max_height() + 1); in Initialize()387 const vector<StateId>& hstates = hvisitor.height(); in Initialize()
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()