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.