|
Redundant ColorsOptimalColorSetCompute an optimal subset of the colors that should be removed. libFAUDES 2.26g --- 2015.08.17 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings" |