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