Home | History | Annotate | Download | only in docs

Lines Matching full:pop_back

1199   3. while (!isOption(input) && !input.empty()) input.pop_back();  // Remove the last letter
1207 while (!isOption(input) && !input.empty()) input.pop_back();