KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 5

changes.mady.by.user Steven Smyth

Saved on

compared with

New Version 6

changes.mady.by.user Alexander Schulz-Rosengarten

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Note
titleDeprecated since 0.12

This article is deprecated. The described features are no longer available in current releases.


Table of Contents

Core SCChart to SCL Transformation

...

The optimization level can be specified in the CoreToSCLTransformation class.

OptimizationDescription
OPTIMIZE_GOTORemoves all goto instructions, that target a label, that follows that goto.
OPTIMIZE_LABELRemoves all unreferenced labels.
OPTIMIZE_SELFLOOPIf a state has only one outgoing non-default transition, the expression of that transition is negated, the transition target is changed to itself and the implicit selfloop is deleted. So, if the original expression is true, the sequential control flow is used to proceed and no goto jump is necessary.

OPTIMIZE_STATEPOSITION

(temporary deactivated)

In some cases label and goto instructions can be removed, if the states in a region are ordered differently. This optimization checks for redundant jumps and changes the order of the states if possible and necessary.

OPTIMIZE_SINGLETRANSITIONS

(planned)

 

OPTIMIZE_WTOTRANSITIONS

(planned)