|
|
||||||
|
ios_algorithms.h
Go to the documentation of this file.
261 extern FAUDES_API void IoSynthesisClosed(const IoSystem& rPlant, const Generator& rSpec, IoSystem& rSup);
291 extern FAUDES_API void IoSynthesis(const IoSystem& rPlant, const Generator& rSpec, IoSystem& rSup);
void RemoveIoDummyStates(IoSystem &rIoSystem) Definition: ios_algorithms.cpp:311 bool IsInputOmegaFree(IoSystem &rIoSystem) Definition: ios_algorithms.cpp:180 bool IsInputLocallyFree(IoSystem &rIoSystem) Definition: ios_algorithms.cpp:140 bool IsIoSystem(const IoSystem &rIoSystem, StateSet &rQU, StateSet &rQY, StateSet &rQErr) Definition: ios_algorithms.cpp:8 Definition: cfl_agenerator.h:43 void IoSynthesisClosed(const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup) Definition: ios_algorithms.cpp:421 TioGenerator< AttributeVoid, AttributeIosState, AttributeIosEvent, AttributeVoid > IoSystem Definition: ios_system.h:777 void IoStatePartition(IoSystem &rIoSystem) Definition: ios_algorithms.cpp:134 void IoSynthesis(const IoSystem &rPlant, const Generator &rSpec, IoSystem &rSup) Definition: ios_algorithms.cpp:407 libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen |