pd_include.h File Reference

Include pushdown plugin headers. More...

#include "libfaudes.h"
#include "pd_pdgenerator.h"
#include "pd_attributes.h"
#include "pd_basics.h"
#include "pd_dotparser.h"
#include "pd_grammar.h"
#include "pd_parser.h"
#include "pd_gotogenerator.h"
#include "pd_gotoattributes.h"
#include "pd_alg_main.h"
#include "pd_alg_sub.h"
#include "pd_alg_first.h"
#include "pd_alg_lrp.h"
#include "pd_alg_lrm.h"
#include "pd_scopelogger.h"
#include "pd_debug.h"
#include "pd_lang_k.h"

Go to the source code of this file.

Macros

#define FAUDES_PD_LAMBDA   "lambda"
#define FAUDES_PD_LOOKAHEAD   2
#define FAUDES_PD_LOGFILE   "pd_Logfile.txt"

Detailed Description

Include pushdown plugin headers.

Definition in file pd_include.h.

Macro Definition Documentation

#define FAUDES_PD_LAMBDA   "lambda"

Definition at line 31 of file pd_include.h.

#define FAUDES_PD_LOGFILE   "pd_Logfile.txt"

Definition at line 35 of file pd_include.h.

#define FAUDES_PD_LOOKAHEAD   2

Definition at line 32 of file pd_include.h.

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen