libFAUDES
Sections
Types
Functions
|
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.20s --- 2011.10.12 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"