hyb_include.h
Go to the documentation of this file.
1 /** @file hyp_include.h Include hybrid plugin headers */
2 
3 /*
4  ****************************************************
5 
6  Convenience header file that includes all headers
7  relevant to the hybrid systems plugin
8 
9  The make system will append an include directive
10  for this file to the "allplugins.h" include file.
11 
12  (c) 2010-2017 Thomas Moor
13 
14  ****************************************************
15  */
16 
17 #ifndef FAUDES_HYB_INCLUDE_H
18 #define FAUDES_HYB_INCLUDE_H
19 
20 #include "hyb_parameter.h"
21 #include "hyb_compute.h"
22 #include "hyb_attributes.h"
23 #include "hyb_hgenerator.h"
24 #include "hyb_reachability.h"
25 #include "hyb_experiment.h"
26 #include "hyb_abstraction.h"
27 
28 #endif
29 
30 
31 /**
32 
33 
34 @defgroup HybridPlugin Hybrid Systems PlugIn
35 
36 
37 @ingroup AllPlugins
38 
39 @section Overview
40 
41 
42 <p>
43 This plug-in provides basic support for linear hybrid automata.
44 The long term perspective is to implement abstraction based
45 synthesis methods. The current implementation supports the C++ API only,
46 it provides neither dedicated reference pages nor lua-bindings.
47 </p>
48 
49 @section License
50 
51 <p>
52 The hybrid systems plug-in is distributed with libFAUDES and under the terms of
53 the LGPL.
54 </p>
55 <p>
56 The current implementation links to the GPL licensed libraries GMP and PPL.
57 Effectively, this renders any derived work/application that includes libFAUDES with
58 the hyprid systems plug-in GPL licensed (as opposed to LGPL).
59 </p>
60 
61 
62 
63 @section Contents
64 @brief
65 
66 
67 
68 */
hyb_abstraction.h
hyb_attributes.h
hyb_compute.h
hyb_experiment.h
hyb_hgenerator.h
hyb_parameter.h
hyb_reachability.h

libFAUDES 2.33b --- 2025.05.07 --- c++ api documentaion by doxygen

>>