libFAUDES

Sections

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+ System GPlant, +In+ EventRelabelMap Map)
InsertRelabeledEvents(+InOut+ System 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

Map from indices to sets of indexes for re-labeling events.

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.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"