- //void readTimeTableFromFile(SGPath infilename);
- //void Tokenize(const string& str, vector<string>& tokens, const string& delimiters = " ");
+ void readTimeTableFromFile(SGPath infilename);
+ void Tokenize(const string& str, vector<string>& tokens, const string& delimiters = " ");