-void printTimeUsed(const time_t& a, const time_t& b, const char* filename = "") {
- int hh = (b - a) / 3600;
- int mm = (b - a) % 3600 / 60;
- int ss = (b - a) % 60;
-
- printf("Time Used : %d h %02d m %02d s\n", hh, mm, ss);
-
- if (strcmp(filename, "")) {
- FILE *fo = fopen(filename, "w");
- fprintf(fo, "Time Used : %d h %02d m %02d s\n", hh, mm, ss);
- fclose(fo);
- }
-}
-
-void genReadFileNames(const char* readFN, int tagType, int read_type, int& s, char readFs[][STRLEN]){
+inline void genReadFileNames(const char* readFN, int tagType, int read_type, int& s, char readFs[][STRLEN]){