pd_include.h File Reference

Include pushdown plugin headers. More...

#include "pd_pdgenerator.h"
#include "pd_attributes.h"
#include "pd_basics.h"
#include "pd_grammar.h"
#include "pd_parser.h"
#include "pd_gotogenerator.h"
#include "pd_gotoattributes.h"
#include "pd_alg_nb_sub_a.h"
#include "pd_alg_nb_sub_b.h"
#include "pd_alg_first.h"
#include "pd_alg_lrp.h"
#include "pd_alg_lrm.h"
#include "pd_alg_cc.h"
#include "pd_alg_opt.h"
#include "pd_lang_k.h"

Go to the source code of this file.

Defines

#define FAUDES_PD_LAMBDA   "lambda"

Detailed Description

Include pushdown plugin headers.

Definition in file pd_include.h.


Define Documentation

#define FAUDES_PD_LAMBDA   "lambda"

Definition at line 28 of file pd_include.h.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen