Searched refs:grevFilename (Results 1 – 1 of 1) sorted by relevance
841 std::string grevFilename = grxmlBasename + std::string(".Grev2.det.txt"); in make_openfst_graphs() local843 cout << "info: writing reverse G fst as text " << grevFilename << endl; in make_openfst_graphs()844 ostream* ostrm1 = new ofstream( grevFilename.c_str(), ios_base::out); in make_openfst_graphs()848 printer1.Print( ostrm1, grevFilename); in make_openfst_graphs()