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 bool IsConditionalControllable(const GeneratorVector& specVect, const Generator& pk, const GeneratorVector& genVect, const Generator& gk, const EventSet& ACntrl);
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |