syn_supcon.h
Go to the documentation of this file.
63 extern FAUDES_API bool IsControllable(const Generator& rPlantGen, const EventSet& rCAlph, const Generator& rSupCandGen);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |