About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
tp_include.h
Go to the documentation of this file.
1
/** @file tp_include.h Include timed plugin headers */
2
3
/*
4
****************************************************
5
Convenience header file that includes all headers
6
relevant to the timed plugin. The make system will
7
append an include directive for this file to the
8
"allplugins.h" include file.
9
10
(c) Thomas Moor 2007
11
****************************************************
12
*/
13
14
#ifndef FAUDES_TP_INCLUDE_H
15
#define FAUDES_TP_INCLUDE_H
16
17
#include "
tp_timeinterval.h
"
18
#include "
tp_timeconstraint.h
"
19
#include "
tp_attributes.h
"
20
#include "
tp_tgenerator.h
"
21
#include "
tp_tparallel.h
"
22
23
24
25
#endif
26
27
28
29
/**
30
31
32
@defgroup TimedPlugin Timed Automata PlugIn
33
34
35
@ingroup AllPlugins
36
37
@section Overview
38
39
<p>
40
This plugin extends libFAUDES to model timed automata as discussed
41
by R. Alur and D.L. Dill. It defines a class to represent time constraints and
42
attribute classes to model guards, invariants and clocksets. Functionality
43
is restricted to basic maintenance inclusive file IO and parallel composition.
44
The motivation of this plugin is to extend the expressiveness
45
of plant and controller models for simulation. It forms the basis for
46
both, our interpreter (aka simulator) as well an Berno Schlein's IEC
47
code generator.
48
</p>
49
50
<p>
51
Literature:
52
<br>
53
<i>
54
R. Alur, D.L. Dill,
55
A Theory of Timed Automata,
56
Theoretical Computer Science,
57
vol 126, pp 183-235, 1994.
58
</i>
59
</p>
60
61
@section License
62
63
<p>
64
The current implementation of the timed plugin is a re-design based
65
on Berno Schlein's student projects in the course of migrating from
66
libFAUDES 1.0 to 2.xx. It is distributed with libFAUDES and under the terms of the LGPL.
67
</p>
68
69
<br>
70
<br>
71
<br>
72
73
74
<p>
75
Copyright (c) 2007, Thomas Moor.
76
</p>
77
78
79
*/
80
81
libFAUDES 2.28a
--- 2016.09.13 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page