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.26g --- 2015.08.17 --- c++ api documentaion by doxygen |