syn_include.h File Reference

Includes all header files of the synthesis plug-in. More...

#include "syn_supcon.h"
#include "syn_supnorm.h"
#include "syn_wsupcon.h"
#include "syn_tsupcon.h"
#include "syn_functions.h"
#include "syn_sscon.h"
#include "syn_supreduce.h"
#include "syn_synthequiv.h"
#include "syn_compsyn.h"

Go to the source code of this file.

Detailed Description

Includes all header files of the synthesis plug-in.

Definition in file syn_include.h.

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen