tp_include.h

Go 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