Jean-Marc Lasgouttes wrote: > Why is it necessary to handle the requires_.empty() case?
It's not really necessary. I just thought I avoid the loop in this (common) case. > What about > using some other datastructure like map<string,bool> (there is > probably something simpler for a set, though)? Why the bool? Jürgen
