mtc_redundantcolors.h
Go to the documentation of this file.
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.
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
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 void rec_OptimalColorSet(const MtcSystem& rGen, const std::vector<Idx>& rColorVector, Idx colorNumber, ColorSet& rOptimalColors,
libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen |