|
|
||||||
|
op_mc.cpp
Go to the documentation of this file.
52 // check for shared events: if there are no shared events, mutual controllability is fulfilled anyway.
78 // The set of controllable events for the controllability test is alphabet of rGen1 - the shared uncontrollable events
89 // The set of controllable events for the controllability test is alphabet of rGen2 - the shared uncontrollable events
Definition: cfl_indexset.h:78 Definition: cfl_nameset.h:69 const TaEventSet< EventAttr > & Alphabet(void) const Definition: cfl_agenerator.h:1360 Definition: cfl_cgenerator.h:278 EventSet UncontrollableEvents(void) const Definition: cfl_cgenerator.h:1144 std::string ToString(const std::string &rLabel="", const Type *pContext=0) const Definition: cfl_types.cpp:170 void InvProject(Generator &rGen, const EventSet &rProjectAlphabet) Definition: cfl_project.cpp:1479 void aProject(const Generator &rGen, const EventSet &rProjectAlphabet, Generator &rResGen) Definition: cfl_project.cpp:1417 bool IsMutuallyControllable(const System &rGen1, const System &rGen2) Definition: op_mc.cpp:32 bool IsControllable(const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSupCandGen) Definition: syn_supcon.cpp:718 Definition: cfl_agenerator.h:43 libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen |