121   DeterminizeElement(StateId s, Weight w) : state_id(s), weight(w) {}  in DeterminizeElement()
124     return state_id == element.state_id && weight == element.weight;
128     return state_id < element.state_id ||
129         (state_id == element.state_id && weight == element.weight);
132   StateId state_id;  // Input state Id  member
258         while (elements_->size() <= element1.state_id)  in operator()
260         (*elements_)[element1.state_id] = &element1;  in operator()
268         while (elements_->size() <= element2.state_id)  in operator()
270         Element *element1 = (*elements_)[element2.state_id];  in operator()
276             (*elements_)[iter1->state_id] = 0;  in operator()
279           (*elements_)[element2.state_id] = 0;  // Clears entry  in operator()
300           int lshift = element.state_id % (CHAR_BIT * sizeof(size_t) - 1) + 1;  in operator()
302           size_t n = element.state_id;  in operator()
543                                 GetFst().Final(element.state_id)));  in ComputeFinal()
564       Weight ind = element.state_id < in_dist_->size() ?  in ComputeDistance()
565           (*in_dist_)[element.state_id] : Weight::Zero();  in ComputeDistance()
596       for (ArcIterator< Fst<A> > aiter(GetFst(), src_element.state_id);  in LabelSubsets()
636       while (elements_.size() <= dest_element.state_id)  in AddArc()
638       Element *matching_element = elements_[dest_element.state_id];  in AddArc()
649         elements_[dest_element.state_id] = &dest_element;  in AddArc()
665       elements_[dest_element.state_id] = 0;  in AddArc()