Reachability Tests/Conversions

Due to colored marking of states, MtcSystems allow for variations on the notion of coaccessibility, and, hence, trimmness. Note that accessibility is not affected.

IsStronglyCoaccessible

Tests a colored generator for strong coaccessibility.

Signature:

IsStronglyCoaccessible(+In+ MtcSystem G, +Out+ Boolean BRes)

IsStronglyTrim

Tests a colored generator for strong trimness.

Signature:

IsStronglyTrim(+In+ MtcSystem G, +Out+ Boolean BRes)

StronglyCoaccessible

Delete non-stronly-coaccessible states and transitions.

Signature:

StronglyCoaccessible(+InOut+ MtcSystem G)

StronglyCoaccessible(+In+ MtcSystem GArg, +Out+ MtcSystem GRes)

StronglyTrim

Delete non-strongly-coaccessible and non-accessible states and transitions.

Signature:

StronglyTrim(+InOut+ MtcSystem G)

StronglyTrim(+In+ MtcSystem GArg, +Out+ MtcSystem GRes)

libFAUDES 2.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"