|
|
||||||
|
con_supcc.cpp
Go to the documentation of this file.
153 // if (IsControllable(gk,ekc,pk)) -- DO NOT USE, if K not subset of L, then the results are wrong!!!
Definition: cfl_exception.h:118 Definition: cfl_nameset.h:70 void SymbolicName(Idx index, const std::string &rName) Definition: cfl_nameset.cpp:405 virtual const T & At(const Position &pos) const Definition: cfl_basevector.h:930 Definition: cfl_generator.h:213 bool IsDeterministic(void) const Definition: cfl_generator.cpp:2333 bool SetInclusion(const TBaseSet< T, Cmp > &rSetA, const TBaseSet< T, Cmp > &rSetB) Definition: cfl_baseset.h:1146 void SetUnion(const TBaseSet< T, Cmp > &rSetA, const TBaseSet< T, Cmp > &rSetB, TBaseSet< T, Cmp > &rRes) Definition: cfl_baseset.h:1037 void SetIntersection(const TBaseSet< T, Cmp > &rSetA, const TBaseSet< T, Cmp > &rSetB, TBaseSet< T, Cmp > &rRes) Definition: cfl_baseset.h:1067 void ConDecExtension(const Generator &gen, const EventSetVector &rAlphabets, EventSet &ek) Definition: con_decomposability_extension.cpp:16 bool SupConditionalControllable(const Generator &gen, const GeneratorVector &genVector, const EventSet &ACntrl, const EventSet &InitEk, GeneratorVector &supVector, Generator &Coord) Definition: con_supcc.cpp:18 void FullLanguage(const EventSet &rAlphabet, Generator &rResGen) Definition: cfl_regular.cpp:706 bool LanguageInclusion(const Generator &rGen1, const Generator &rGen2) Definition: cfl_regular.cpp:837 void aInvProject(Generator &rGen, const EventSet &rProjectAlphabet) Definition: cfl_project.cpp:1504 void Project(const Generator &rGen, const EventSet &rProjectAlphabet, Generator &rResGen) Definition: cfl_project.cpp:1349 void Parallel(const Generator &rGen1, const Generator &rGen2, Generator &rResGen) Definition: cfl_parallel.cpp:33 Int calcNaturalObserver(const Generator &rGen, EventSet &rHighAlph) Definition: op_observercomputation.cpp:433 Int calcNaturalObserverLCC(const Generator &rGen, const EventSet &rControllableEvents, EventSet &rHighAlph) Definition: op_observercomputation.cpp:454 bool IsLCC(const System &rLowGen, const EventSet &rHighAlph) Definition: op_obserververification.cpp:157 bool IsObs(const Generator &rLowGen, const EventSet &rHighAlph) Definition: op_obserververification.cpp:38 void SupConClosed(const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, Generator &rResGen) Definition: syn_supcon.cpp:778 Definition: cfl_agenerator.h:43 libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen |