libFAUDES

PlugIns

Types

Functions

Event Relabeling

The observers synthesised by this plugin require the relabeling of events. This is tracked by a set-valued relabling map of faudes-type EventRelabelMap. The map can be applied by the corresponding function InsertRelabeledEvents.

InsertRelabeledEvents

Apply relabeling map to specified generator.

Signature:

InsertRelabeledEvents(+InOut+ Generator GPlant, +In+ EventRelabelMap Map)
InsertRelabeledEvents(+InOut+ Generator GPlant, +In+ EventRelabelMap Map, +Out+ EventSet SigmaNew)

Detailed description:

This function inserts new events and respective transitions given by a relableing map into a given generator. The function is used to adjust plant components to the relableing from another plant component. Optionally, the newly inserted events are accumulated in the third parameter.

Parameter Conditions:

There are no restriction son the parameter values.

EventRelabelMap

An EventRelabelMap is a map from indicies to sets of indicies. The observer plug-in uses this may to pass on re-labeling from one generator to another via the faudes function InsertRelabeledEvents. There is no further user access to this data type.

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