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