FG DES
libFAUDES
DESTool
LRT >>
EEI >>
About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
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
*/
syn_compsyn.h
syn_functions.h
syn_sscon.h
syn_supcon.h
syn_supnorm.h
syn_supreduce.h
syn_synthequiv.h
syn_tsupcon.h
syn_wsupcon.h
libFAUDES 2.33c
--- 2025.05.15 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page