Searched refs:mplFile (Results 1 – 1 of 1) sorted by relevance
366 std::ofstream mplFile; in OutputFunctionListAsciiMpl() local367 mplFile.open(outfileName, std::ios::app); in OutputFunctionListAsciiMpl()369 LogInfo::MapleLogger().rdbuf(mplFile.rdbuf()); // change cout's buffer to that of file in OutputFunctionListAsciiMpl()373 mplFile.close(); in OutputFunctionListAsciiMpl()617 std::ofstream mplFile; in DumpClassToFile() local618 mplFile.open(outClassFile, std::ios::trunc); in DumpClassToFile()620 LogInfo::MapleLogger().rdbuf(mplFile.rdbuf()); in DumpClassToFile()631 mplFile.close(); in DumpClassToFile()664 std::ofstream mplFile; in OutputAsciiMpl() local665 mplFile.open(outfileName, std::ios::trunc); in OutputAsciiMpl()[all …]