Searched refs:kNDigitsNonterm (Results 1 – 3 of 3) sorted by relevance
39 constexpr const char* kNDigitsNonterm = "<%d_digits>"; variable
36 if (nonterminal_name == strings::StringPrintf(kNDigitsNonterm, digits)) { in IsPredefinedNonterminal()
412 GetNonterminalForName(strings::StringPrintf(kNDigitsNonterm, i))) { in Serialize()