Debug functions.
More...
Go to the source code of this file.
Namespaces |
| namespace | faudes |
| | libFAUDES resides within the namespace faudes.
|
Functions |
| void | faudes::debug_printf (const std::string &msg, const PushdownGenerator &pd) |
| | Print generator depending on debug level (PD_DEBUG_LEVEL)
|
| void | faudes::debug_printf (const std::string &msg, const std::string &tex="") |
| | Print given text depending on debug level (PD_DEBUG_LEVEL)
|
| void | faudes::ToFile (const PushdownGenerator &pd, std::string name, bool printDOT=true, bool printPNG=true) |
| | Print pushdown generator to file, if the number of transitions does not exceed PD_DEBUG_MAX_TRANS.
|
| void | faudes::ToFile (const std::string &tex, std::string name) |
| | Print given text to file.
|
Detailed Description
Debug functions.
Definition in file pd_debug.cpp.