Redundant Colors

OptimalColorSet

Compute an optimal subset of the colors that should be removed.

Signature:

OptimalColorSet(+In+ MtcSystem GPlant, +Out+ ColorSet Colors, +InOut+ EventSet SigmaH)

libFAUDES 2.26g --- 2015.08.17 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings"