tutorial Directory Reference

Files

file  syn_1_simple.cpp [code]
 Tutorial, std monolitic synthesis.
 
file  syn_2_omega.cpp [code]
 Synthesis for omega languages.
 
file  syn_3_reduction.cpp [code]
 Tutorial, std monolitic synthesis.
 
file  syn_6_compsynth.cpp [code]
 Test case and demo for compositional synthesis algorithm:
 
file  syn_7_compsynth.cpp [code]
 Test case for compositional synthesis algorithm: Abfuellanlage.
 

libFAUDES 2.31h --- 2024.01.29 --- c++ api documentaion by doxygen