Lines Matching full:pop_back
1199 3. while (!isOption(input) && !input.empty()) input.pop_back(); // Remove the last letter1207 while (!isOption(input) && !input.empty()) input.pop_back();