pd_debug.cpp File Reference

Debug functions. More...

#include "pd_debug.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.

Variables

int faudes::fileCounter = 0

Detailed Description

Debug functions.

Definition in file pd_debug.cpp.

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