pd_include.hGo to the documentation of this file.00001 /** @file pd_include.h Include pushdown plugin headers */ 00002 00003 /* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes) 00004 00005 Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess 00006 00007 */ 00008 00009 #ifndef FAUDES_PD_INCLUDE_H 00010 #define FAUDES_PD_INCLUDE_H 00011 00012 #include "pd_pdgenerator.h" 00013 #include "pd_attributes.h" 00014 #include "pd_basics.h" 00015 #include "pd_grammar.h" 00016 #include "pd_parser.h" 00017 #include "pd_gotogenerator.h" 00018 #include "pd_gotoattributes.h" 00019 #include "pd_alg_nb_sub_a.h" 00020 #include "pd_alg_nb_sub_b.h" 00021 #include "pd_alg_first.h" 00022 #include "pd_alg_lrp.h" 00023 #include "pd_alg_lrm.h" 00024 #include "pd_alg_cc.h" 00025 #include "pd_alg_opt.h" 00026 #include "pd_lang_k.h" 00027 00028 #define FAUDES_PD_LAMBDA "lambda" 00029 00030 00031 #endif 00032 00033 00034 /** 00035 00036 00037 @defgroup PushdownPlugin Pushdown PlugIn 00038 00039 00040 @ingroup AllPlugins 00041 00042 <p> 00043 The pushdown plug-in synthesizes a minimally restrictive supervisor for 00044 a regular plant language (provided by a deterministic finite automaton (DFA)) 00045 and a context free specification language (provided by a deterministic pushdown 00046 automaton (DPDA)). The algorithm has been developed by Schneider and Schmuck; 00047 see the <a href="../reference/index.html">user-reference</a> for literature. 00048 </p> 00049 00050 @section PushdownLicense License 00051 <p> 00052 This plug-in is distributed with libFAUDES and under the terms of the LGPL. 00053 <br> 00054 <br> 00055 Copyright (c) 2013, Sven Schneider, Anne-Kathrin Schmuck, Stefan Jacobi 00056 </p> 00057 00058 @section Contents 00059 @brief 00060 00061 00062 00063 */ libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |