-private:
- std::vector<int> extract_numbers (boost::filesystem::path p)
- {
- p = p.leaf ();
-
- std::vector<int> numbers;
- std::string number;
- for (size_t i = 0; i < p.string().size(); ++i) {
- if (isdigit (p.string()[i])) {
- number += p.string()[i];
- } else if (!number.empty ()) {
- numbers.push_back (raw_convert<int> (number));
- number.clear ();
- }
- }