con_controllability.h
Go to the documentation of this file.
25 * Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems
49 extern FAUDES_API bool IsConditionalControllable(const GeneratorVector& specVect, const Generator& pk, const GeneratorVector& genVect, const Generator& gk, const EventSet& ACntrl);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |