|
Go to the documentation of this file.
19 std::cout << msg << std::endl;
26 std::cout << msg << std::endl;
37 std::stringstream fileName;
38 fileName << "pd." << std::setfill( '0') << std::setw(5) << fileCounter << name;
42 if(printDOT|| printPNG){
43 std::cout << "print file '" << name << "'...";
50 std::cout << "done." << std::endl;
54 << " Transitions !" << std::endl;
57 std::cout << "ToFile: Graph error for '" << name << "'" << std::endl;
63 void ToFile( const std::string& tex, std::string name) {
64 std::cout << "print file '" << name << "'...";
65 std::stringstream fileName;
66 fileName << "pd." << std::setfill( '0') << std::setw(5) << fileCounter << name << ".tex";
67 std::ofstream out(fileName.str().c_str());
70 std::cout << "done." << std::endl;
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|