29 #include "../my_config.h"
41 extern std::string sar_tools_make_filename(
const std::string & base_name,
43 const infinint & min_digits,
44 const std::string & ext);
47 extern bool sar_tools_extract_num(
const std::string & filename,
48 const std::string & base_name,
49 const infinint & min_digits,
50 const std::string & ext,
53 extern bool sar_tools_get_higher_number_in_dir(entrepot & entr,
54 const std::string & base_name,
55 const infinint & min_digits,
56 const std::string & ext, infinint & ret);
58 extern std::string sar_tools_make_padded_number(
const std::string & num,
59 const infinint & min_digits);