libFAUDES

PlugIns

Types

Functions

Reachability Tests/Conversion

Functions related (co-)accessible states and trimness.

IsAccessible

Tests a generator for accessibility.

Signature:

IsAccessible(+In+ Generator G, +Out+ Boolean BRes)

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".

IsCoaccessible

Tests a generator for coaccessibility.

Signature:

IsCoaccessible(+In+ Generator G, +Out+ Boolean BRes)

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".

IsTrim

Tests a generator for trimness.

Signature:

IsTrim(+In+ Generator G, +Out+ Boolean BRes)

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".

Accessible

Delete non-accessible states and transitions.

Signature:

Accessible(+InOut+ Generator G)
Accessible(+In+ Generator GArg, +Out+ Generator GRes)

Detailed description:

Convert a given generator G into an accessible generator by removing states and transitions that are not accessible.

Coaccessible

Delete non-coaccessible states and transitions.

Signature:

Coaccessible(+InOut+ Generator G)
Coaccessible(+In+ Generator GArg, +Out+ Generator GRes)

Detailed description:

Convert a given generator G into a coaccessible generator by removing states and transitions that are not coaccessible.

Trim

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

Signature:

Trim(+InOut+ Generator G)
Trim(+In+ Generator GArg, +Out+ Generator GRes)

Detailed description:

Convert a given generator G into a trim generator by removing states and transitions that are not accessible or not coaccessible.

libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"