pd_include.h

Go 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