Function is_end

highs/util/stringutil.cpp:107–111

}

bool is_end(std::string& str, size_t end, const std::string& chars) {
  size_t pos = str.find_first_not_of(chars, end);
  if (pos == std::string::npos || pos == str.size()) return true;
  return false;
}

size_t first_word_end(std::string& str, size_t start) {
  const std::string chars = "\t\n\v\f\r ";