About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
src Directory Reference
Files
file
syn_compsyn.cpp
[code]
Compositional synthesis.
file
syn_compsyn.h
[code]
Compositional synthesis.
file
syn_functions.cpp
[code]
Misc functions related to synthesis.
file
syn_functions.h
[code]
Misc functions related to synthesis.
file
syn_include.h
[code]
Includes all header files of the synthesis plug-in.
file
syn_sscon.cpp
[code]
Standard synthesis consistency test.
file
syn_sscon.h
[code]
Standard syntheis consistency test.
file
syn_supcon.cpp
[code]
Supremal controllable sublanguage.
file
syn_supcon.h
[code]
Supremal controllable sublanguage.
file
syn_supnorm.cpp
[code]
Supremal normal sublanguage.
file
syn_supnorm.h
[code]
Supremal normal sublanguage.
file
syn_supreduce.cpp
[code]
Supervisor Reduction.
file
syn_supreduce.h
[code]
Supervisor Reduction.
file
syn_synthequiv.cpp
[code]
Synthesis-observation equivalence.
file
syn_synthequiv.h
[code]
Synthesis-observation equivalence.
file
syn_tsupcon.cpp
[code]
Supremal TDES-controllable sublanguage.
file
syn_tsupcon.h
[code]
file
syn_wsupcon.cpp
[code]
Supremal controllable sublanguage for infinite time behaviours.
file
syn_wsupcon.h
[code]
Supremal controllable sublanguage for infinite time behaviours.
libFAUDES 2.32f
--- 2024.12.22 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page