reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
77 while (!Opts.empty()) { 79 ThisGroup = Opts.take_front(GroupSize); 80 Opts = Opts.drop_front(ThisGroup.size()); 80 Opts = Opts.drop_front(ThisGroup.size()); 82 if (!Opts.empty()) {