ios_include.h

Go to the documentation of this file.
00001 /** @file ios_include.h Include iosystem plugin headers */
00002 
00003 /*
00004  **************************************************** 
00005  Convenience header file that includes all headers 
00006  relevant to the iosystem plugin.  The make system will append 
00007  an include directive for this file to the "allplugins.h" 
00008   include file.
00009 
00010  (C) 2010, Thomas Wittmann, Thomas Moor
00011  ****************************************************
00012  */
00013 
00014 #ifndef FAUDES_IOS_INCLUDE_H
00015 #define FAUDES_IOS_INCLUDE_H
00016 
00017 // activate debug messages
00018 #ifndef FAUDES_DEBUG_IOSYS
00019 #define FAUDES_DEBUG_IOSYS
00020 #endif
00021 
00022 #include "ios_attributes.h"
00023 #include "ios_system.h"
00024 #include "ios_algorithms.h"
00025 
00026 
00027 #endif
00028 
00029 
00030 /**
00031  
00032 
00033 @defgroup IoSysPlugin I/O System PlugIn
00034 
00035 
00036 @ingroup AllPlugins
00037 
00038 @section Overview
00039 
00040 <p>
00041 This plug-in implements discrete event systems with alternating 
00042 input and output events that satisfy Willems' conditions on
00043 I/O behaviours. Special attention is payed to non-closed languages
00044 and their not necessarily complete omega extensions.
00045 </p>
00046 
00047 <p> 
00048 A detailed discussion on the subject is given in 
00049 Thomas Wittmann's Diploma Thesis, including how the results 
00050 relate to earlier work of Moor/Raisch on abstraction based 
00051 control of hybrid systems. A technical report has been submitted 
00052 for publication and is currently under review.
00053 For a consise introduction, see the libFAUDES user reference, 
00054 section <a href="../reference/iosystem_index.html">IoSystem</a>.
00055 </p>
00056 
00057 @section License
00058 
00059 <p>
00060 This plug-in is distributed with libFAUDES and under the terms of
00061 the LGPL. 
00062 </p>
00063 <br>
00064 <br>
00065 <br>
00066 
00067 
00068 <p>
00069 Copyright (C) 2010  Thomas Wittmann, Thomas Moor 
00070 </p>
00071 
00072 
00073 
00074 
00075 */

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen