| |
libFAUDES
PlugIns
Types
Functions
|
Reachability Tests/ConversionFunctions related (co-)accessible states and trimness.IsAccessibleTests a generator for accessibility.
Detailed description: A generator is accessible, if every state can be accessed from some initial state via a sequence of transitions. This function returns "true" if G is accessibel. Else it returns "false". IsCoaccessibleTests a generator for coaccessibility.
Detailed description: A generator is coaccessible, if every state is connected with some marked state via a sequence of transitions. This function returns "true" if G is coaccessibel. Else it returns "false". IsTrimTests a generator for trimness.
Detailed description: A generator is trim if it is both accessible and coaccessible. This function returns "true" if G is coaccessibel. Else it returns "false". AccessibleDelete non-accessible states and transitions.
Detailed description: Convert a given generator G into an accessible generator by removing states and transitions that are not accessible. CoaccessibleDelete non-coaccessible states and transitions.
Signature:
Coaccessible(+InOut+ Generator G) Detailed description: Convert a given generator G into a coaccessible generator by removing states and transitions that are not coaccessible. |
libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"