read_aux_file read_file split to_char_ptr trim

trim() std::string trim ( const std::string &  input, const std::string &  characters = ""  ) Trim a string given a set of characters. Parameters input The input string characters The set characters to be trimmed, or "" for all white spaces