syn_wsupcon.h
Go to the documentation of this file.
309 * SupConNormCmplNB(const Generator&, const EventSet&, const EventSet&, const Generator&, Generator&).
TcGenerator< AttributeVoid, AttributeVoid, AttributeCFlags, AttributeVoid > System Definition: cfl_cgenerator.h:921 void OmegaSupConNormNB(const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rSpecGen, Generator &rResGen) Definition: syn_wsupcon.cpp:1695 void SupConCmplClosed(const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, Generator &rResGen) Definition: syn_wsupcon.cpp:124 void SupConNormCmplNB(const Generator &rL, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rK, Generator &rResult) Definition: syn_wsupcon.cpp:295 void OmegaSupConNB(const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, Generator &rResGen) Definition: syn_wsupcon.cpp:1588 bool IsOmegaControllable(const Generator &rGenPlant, const EventSet &rCAlph, const Generator &rGenCand) Definition: syn_wsupcon.cpp:42 void SupConCmplNB(const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, Generator &rResGen) Definition: syn_wsupcon.cpp:209 void OmegaConNormNB(const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rSpecGen, Generator &rResGen) Definition: syn_wsupcon.cpp:1737 void OmegaConNB(const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, Generator &rResGen) Definition: syn_wsupcon.cpp:1627 Definition: cfl_agenerator.h:43 libFAUDES 2.33b --- 2025.05.07 --- c++ api documentaion by doxygen |