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_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]
file
syn_tsupcon.cpp
[code]
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.26g
--- 2015.08.17 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page