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 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess
6 
7 */
8 
9 #ifndef FAUDES_PD_INCLUDE_H
10 #define FAUDES_PD_INCLUDE_H
11 
12 #include "pd_pdgenerator.h"
13 #include "pd_attributes.h"
14 #include "pd_basics.h"
15 #include "pd_grammar.h"
16 #include "pd_parser.h"
17 #include "pd_gotogenerator.h"
18 #include "pd_gotoattributes.h"
19 #include "pd_alg_nb_sub_a.h"
20 #include "pd_alg_nb_sub_b.h"
21 #include "pd_alg_first.h"
22 #include "pd_alg_lrp.h"
23 #include "pd_alg_lrm.h"
24 #include "pd_alg_cc.h"
25 #include "pd_alg_opt.h"
26 #include "pd_lang_k.h"
27 
28 #define FAUDES_PD_LAMBDA "lambda"
29 
30 
31 #endif
32 
33 
34 /**
35 
36 
37 @defgroup PushdownPlugin Pushdown PlugIn
38 
39 
40 @ingroup AllPlugins
41 
42 <p>
43 The pushdown plug-in synthesizes a minimally restrictive supervisor for
44 a regular plant language (provided by a deterministic finite automaton (DFA))
45 and a context free specification language (provided by a deterministic pushdown
46 automaton (DPDA)). The algorithm has been developed by Schneider and Schmuck;
47 see the <a href="../reference/index.html">user-reference</a> for literature.
48 </p>
49 
50 @section PushdownLicense License
51 <p>
52 This plug-in is distributed with libFAUDES and under the terms of the LGPL.
53 <br>
54 <br>
55 Copyright (c) 2013, Sven Schneider, Anne-Kathrin Schmuck, Stefan Jacobi
56 </p>
57 
58 @section Contents
59 @brief
60 
61 
62 
63 */

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen