|
|
||||||
|
mtc_redundantcolors.h
Go to the documentation of this file.
69 extern FAUDES_API void SearchScc( const Idx state, int& rCount, const Generator& rGen, StateSet& rNewStates,
91 extern FAUDES_API bool ComputeSCC(const Generator& rGen, std::set<StateSet>& rSccSet, StateSet& rRoots);
94 * Compute all strongly connected components (SCCs) in a colored marking generator (CMG) that are marked with a given set of colors.
95 * This function finds all SCCs in a CMG that contain states with all colors in a given color set.
107 extern FAUDES_API void ColoredSCC(MtcSystem& rGen, ColorSet& rColors, std::set<StateSet>& rColoredSCCs);
113 * K. Schmidt and J.E.R. Cury, "Redundant Colors in the Multitasking Supervisory Control for Discrete
140 * hgh-level alphabet for hierarchical abstraction after color removal. Initially, the alphabet should contain
146 extern FAUDES_API void OptimalColorSet(const MtcSystem& rGen, ColorSet& rOptimalColors, EventSet& rHighAlph);
150 * This function recursively enumerates all possible subsets of colors that can be removed without affecting
151 * supervisor synthesis and remembers the color set that leads to the smallest hierarchical abstraction.
172 extern FAUDES_API void rec_OptimalColorSet(const MtcSystem& rGen, const std::vector<Idx>& rColorVector, Idx colorNumber, ColorSet& rOptimalColors,
173 Idx& rOptimalNumberStates, Idx& rOptimalNumberColors, const EventSet& rHighAlph, EventSet& rOptimalHighAlph);
void OptimalColorSet(const MtcSystem &rGen, ColorSet &rOptimalColors, EventSet &rHighAlph) Definition: mtc_redundantcolors.cpp:242 void ColoredSCC(MtcSystem &rGen, ColorSet &rColors, std::set< StateSet > &rColoredSCCs) Definition: mtc_redundantcolors.cpp:140 bool ComputeSCC(const Generator &rGen, std::set< StateSet > &rSCCSet, StateSet &rRoots) Definition: mtc_redundantcolors.cpp:121 bool CheckRedundantColor(MtcSystem rGen, Idx redundantColor) Definition: mtc_redundantcolors.cpp:172 Definition: cfl_agenerator.h:43 void rec_OptimalColorSet(const MtcSystem &rGen, const std::vector< Idx > &rColorVector, Idx colorNumber, ColorSet &rOptimalColors, Idx &rOptimalNumberStates, Idx &rOptimalNumberColors, const EventSet &rHighAlph, EventSet &rOptimalHighAlph) Definition: mtc_redundantcolors.cpp:289 TmtcGenerator< AttributeVoid, AttributeColoredState, AttributeCFlags, AttributeVoid > MtcSystem Definition: mtc_generator.h:748 void SearchScc(const Idx vState, int &vRcount, const Generator &rGen, const SccFilter &rFilter, StateSet &rTodo, std::stack< Idx > &rStack, StateSet &rStackStates, std::map< const Idx, int > &rDfn, std::map< const Idx, int > &rLowLnk, std::list< StateSet > &rSccList, StateSet &rRoots) Definition: cfl_graphfncts.cpp:228 libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen |