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_ctrlpfx.h
"
19
#include "
syn_supnorm.h
"
20
#include "
syn_supcmpl.h
"
21
#include "
syn_tsupcon.h
"
22
#include "
syn_functions.h
"
23
#include "
syn_sscon.h
"
24
#include "
syn_supreduce.h
"
25
#include "
syn_synthequiv.h
"
26
#include "
syn_compsyn.h
"
27
28
#endif
29
30
31
/**
32
@defgroup SynthesisPlugIn Synthesis Plug-In
33
@ingroup AllPlugins
34
35
<p>
36
This plug-in implements functions that are related to controllability and normality,
37
as originally proposed by W.M. Wonham et al in the 1980s and selected extensions thereof.
38
Examples are provided in the user reference,
39
section <a href="../reference/synthesis_index.html">Synthesis</a>.
40
</p>
41
42
@subsection SynthesisLicense License
43
44
This plug-in is distributed with libFAUDES and under the terms of the LGPL.
45
<br>
46
<br>
47
Copyright (c) 2006, Bernd Opitz
48
<br>
49
Copyright (c) 2009, Thomas Moor, Sebastian Perk, Klaus Schmidt.
50
<br>
51
Copyright (c) 2010 - 2014, Thomas Moor.
52
53
*/
syn_compsyn.h
syn_ctrlpfx.h
syn_functions.h
syn_sscon.h
syn_supcmpl.h
syn_supcon.h
syn_supnorm.h
syn_supreduce.h
syn_synthequiv.h
syn_tsupcon.h
libFAUDES 2.33h
--- 2025.06.18 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page