tp_include.hGo to the documentation of this file.00001 /** @file tp_include.h Include timed plugin headers */ 00002 00003 /* 00004 **************************************************** 00005 Convenience header file that includes all headers 00006 relevant to the timed plugin. The make system will 00007 append an include directive for this file to the 00008 "allplugins.h" include file. 00009 00010 (c) Thomas Moor 2007 00011 **************************************************** 00012 */ 00013 00014 #ifndef FAUDES_TP_INCLUDE_H 00015 #define FAUDES_TP_INCLUDE_H 00016 00017 #include "tp_timeinterval.h" 00018 #include "tp_timeconstraint.h" 00019 #include "tp_attributes.h" 00020 #include "tp_tgenerator.h" 00021 #include "tp_tparallel.h" 00022 00023 00024 00025 #endif 00026 00027 00028 00029 /** 00030 00031 00032 @defgroup TimedPlugin Timed Automata PlugIn 00033 00034 00035 @ingroup AllPlugins 00036 00037 @section Overview 00038 00039 <p> 00040 This plugin extends libFAUDES to model timed automata as discussed 00041 by R. Alur and D.L. Dill. It defines a class to represent time constraints and 00042 attribute classes to model guards, invariants and clocksets. Functionality 00043 is restricted to basic maintenance inclusive file IO and parallel composition. 00044 The motivation of this plugin is to extend the expressiveness 00045 of plant and controller models for simulation. It forms the basis for 00046 both, our interpreter (aka simulator) as well an Berno Schlein's IEC 00047 code generator. 00048 </p> 00049 00050 <p> 00051 Literature: 00052 <br> 00053 <i> 00054 R. Alur, D.L. Dill, 00055 A Theory of Timed Automata, 00056 Theoretical Computer Science, 00057 vol 126, pp 183-235, 1994. 00058 </i> 00059 </p> 00060 00061 @section License 00062 00063 <p> 00064 The current implementation of the timed plugin is a re-design based 00065 on Berno Schlein's student projects in the course of migrating from 00066 libFAUDES 1.0 to 2.xx. It is distributed with libFAUDES and under the terms of the LGPL. 00067 </p> 00068 00069 <br> 00070 <br> 00071 <br> 00072 00073 00074 <p> 00075 Copyright (c) 2007, Thomas Moor. 00076 </p> 00077 00078 00079 */ 00080 00081 libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |