Searched refs:nonterminal_names_ (Results 1 – 4 of 4) sorted by relevance
146 auto it = nonterminal_names_.find(key); in AddNonterminal()147 if (it != nonterminal_names_.end()) { in AddNonterminal()152 nonterminal_names_.insert(it, {key, index}); in AddNonterminal()436 for (const auto& it : nonterminal_names_) { in Finalize()
117 nonterminal_names_[nonterminal] = name; in SetNonterminal()242 std::unordered_map<Nonterm, std::string> nonterminal_names_; variable
223 std::unordered_map<std::string, int> nonterminal_names_; variable
428 for (const auto& it : nonterminal_names_) { in Serialize()