op_mc.h
Go to the documentation of this file.
98 extern FAUDES_API bool IsMutuallyControllable(const System& rGen1, const System& rGen2, StateSet& rForbidden1, StateSet& rForbidden2);
103 extern FAUDES_API void IsMutuallyControllable(const System& rGen1, const System& rGen2, bool& rRes);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |