Debug functions.
More...
#include "libfaudes.h"
#include "pd_include.h"
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.h.
Macro Definition Documentation
#define DEBUG_PRINTF |
( |
|
b, |
|
|
|
x, |
|
|
|
y |
|
) |
| |
Set level of debugging 0: do nothing 1: print to console 2: print generator to file (.dot and .png)
Definition at line 25 of file pd_debug.h.
#define PD_DEBUG_MAX_TRANS 1000 |