About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
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
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page