The module Clearer contains transformations to clear parts of an AIF System or to remove guarded action which have a special form.
Function or value | Description |
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]() make explicit absence actions
|
|
![]() ![]() ![]() ![]() The transformation applies CtrlFlowToDataFlowInSystemPart to all parts of an AIF System. It removes all guarded actions of the control flow of the parts of the system and put them to data flow. See CtrlFlowToDataFlowInSystemPart for details.
|
|
![]() ![]() ![]() ![]() The transformation removes all guarded actions of the control flow of the given part and put them to data flow. Therfore, the labels of the part must now be declared as local variables.
|
|
![]() ![]() ![]() ![]() The transformation applies NxtDataEventsToMemorizedInSystemPart to all parts of an AIF System. It removes delayed assignments from data event variables by changing the storage type of those event variables. For every event variable which is written by an delayed assignment, the transformation changes the storage to Memorized and adds an absence reaction for each cell of the variable (if no absence reaction still exists) which ensures the correct behavior of the variable.
|
|
![]() ![]() ![]() ![]()
|
|
![]() ![]() ![]() ![]() The transformation applies NxtOutToNowInSystemPart to all parts of an AIF System. It removes delayed assignments to output variables. See NxtOutToNowInSystemPart for details.
|
|
![]() ![]() ![]() ![]() The transformation eliminates delayed assignments to output variables by adding a buffer variable for the delayed assignments. For every output or inout variable which is written by at least one delayed assignment, a buffer variable is introduced to forward the value to the next step.
|