pd_debug.h File Reference

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.

Macros

#define PD_DEBUG_LEVEL   2
 Set level of debugging 0: do nothing 1: print to console 2: print generator to file (.dot and .png)
#define PD_DEBUG_MAX_TRANS   1000
#define DEBUG_PRINTF(b, x, y)

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,
 
)

Definition at line 63 of file pd_debug.h.

#define PD_DEBUG_LEVEL   2

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

Definition at line 28 of file pd_debug.h.

libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen