Searched refs:external_to_internal_ids_ (Results 1 – 1 of 1) sorted by relevance
86 external_to_internal_ids_(other.external_to_internal_ids_), in EditFstData()102 WriteType(strm, external_to_internal_ids_); in Write()188 external_to_internal_ids_[external_state_id] = internal_state_id; in AddState()212 external_to_internal_ids_.clear(); in DeleteStates()254 for (IdMapIterator map_it = external_to_internal_ids_.begin(); in PrintMap()269 return external_to_internal_ids_.find(s); in GetEditedIdMapIterator()272 return external_to_internal_ids_.end(); in NotInEditedMap()294 external_to_internal_ids_[s] = new_internal_id; in GetEditableInternalId()320 unordered_map<StateId, StateId> external_to_internal_ids_; variable358 ReadType(strm, &data->external_to_internal_ids_); in Read()