|
|
||||||
|
|
Reachability Tests/ConversionsDue to colored marking of states, MtcSystems allow for variations on the notion of coaccessibility, and, hence, trimmness. Note that accessibility is not affected. IsStronglyCoaccessibleTests a colored generator for strong coaccessibility. IsStronglyTrimTests a colored generator for strong trimness. StronglyCoaccessibleDelete non-stronly-coaccessible states and transitions. StronglyTrimDelete non-strongly-coaccessible and non-accessible states and transitions. libFAUDES 2.31f --- 2023.02.02 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-pybindings" |