pd_include.h
Go to the documentation of this file.
1 /** @file pd_include.h Include pushdown plugin headers */
2 
3 /* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes)
4 
5  Copyright (C) 2013/14 Stefan Jacobi, Ramon Barakat, Sven Schneider, Anne-Kathrin Hess
6 
7 */
8 
9 #ifndef FAUDES_PD_INCLUDE_H
10 #define FAUDES_PD_INCLUDE_H
11 
12 #include "libfaudes.h"
13 #include "pd_pdgenerator.h"
14 #include "pd_attributes.h"
15 #include "pd_basics.h"
16 #include "pd_dotparser.h"
17 #include "pd_grammar.h"
18 #include "pd_parser.h"
19 #include "pd_gotogenerator.h"
20 #include "pd_gotoattributes.h"
21 #include "pd_alg_main.h"
22 #include "pd_alg_sub.h"
23 #include "pd_alg_first.h"
24 #include "pd_alg_lrp.h"
25 #include "pd_alg_lrm.h"
26 
27 #include "pd_scopelogger.h"
28 #include "pd_debug.h"
29 #include "pd_lang_k.h"
30 
31 #define FAUDES_PD_LAMBDA "lambda"
32 #define FAUDES_PD_LOOKAHEAD 2
33 
34 //#define FAUDES_PD_PRINT_LOGFILE
35 #define FAUDES_PD_LOGFILE "pd_Logfile.txt"
36 
37 
38 #endif
39 
40 
41 /**
42 
43 
44 @defgroup PushdownPlugin Pushdown PlugIn
45 
46 
47 @ingroup AllPlugins
48 
49 <p>
50 The pushdown plug-in synthesizes a minimally restrictive supervisor for
51 a regular plant language (provided by a deterministic finite automaton (DFA))
52 and a context free specification language (provided by a deterministic pushdown
53 automaton (DPDA)). The algorithm has been developed by Schneider and Schmuck;
54 see the <a href="../reference/index.html">user-reference</a> for literature.
55 </p>
56 
57 @section PushdownLicense License
58 <p>
59 This plug-in is distributed with libFAUDES and under the terms of the LGPL.
60 <br>
61 <br>
62 Copyright (c) 2013, Sven Schneider, Anne-Kathrin Schmuck, Stefan Jacobi
63 </p>
64 
65 @section Contents
66 @brief
67 
68 
69 
70 */

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