| |
libFAUDES
PlugIns
Types
Functions
|
Event RelabelingThe 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. InsertRelabeledEventsApply relabeling map to specified generator.
Signature:
InsertRelabeledEvents(+InOut+ Generator GPlant, +In+ EventRelabelMap Map) 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. EventRelabelMapAn 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"