syn_include.h
Go to the documentation of this file.
1 /** @file syn_include.h
2 Includes all header files of the synthesis plug-in.
3 */
4 
5 /*
6  ****************************************************
7  Convenience header file that includes all headers
8  relevant to the synthesis plug-in. When the plugin is
9  enabled, libfaudes.h will include this file automatically.
10  ****************************************************
11 */
12 
13 
14 #ifndef SYN_INCLUDE_H
15 #define SYN_INCLUDE_H
16 
17 #include "syn_supcon.h"
18 #include "syn_supnorm.h"
19 #include "syn_wsupcon.h"
20 #include "syn_tsupcon.h"
21 #include "syn_functions.h"
22 #include "syn_sscon.h"
23 #include "syn_supreduce.h"
24 #include "syn_synthequiv.h"
25 #include "syn_compsyn.h"
26 
27 #endif
28 
29 
30 /**
31 @defgroup SynthesisPlugIn Synthesis Plug-In
32 @ingroup AllPlugins
33 
34 <p>
35 This plug-in implements functions that are related to controllability and normality,
36 as originally proposed by W.M. Wonham et al in the 1980s and selected extensions thereof.
37 Examples are provided in the user reference,
38 section <a href="../reference/synthesis_index.html">Synthesis</a>.
39 </p>
40 
41 @section SynthesisLicense License
42 This plug-in is distributed with libFAUDES and under the terms of the LGPL.
43 <br>
44 <br>
45 Copyright (c) 2006, Bernd Opitz
46 <br>
47 Copyright (c) 2009, Thomas Moor, Sebastian Perk, Klaus Schmidt.
48 <br>
49 Copyright (c) 2010 - 2014, Thomas Moor.
50 
51 */
Compositional synthesis.
Misc functions related to synthesis.
Standard syntheis consistency test.
Supremal controllable sublanguage.
Supremal normal sublanguage.
Supervisor Reduction.
Synthesis-observation equivalence.
Supremal controllable sublanguage for infinite time behaviours.

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen