Package de.cau.cs.kieler.kies.transformation.util

Contains code responsible for executing a esterel to synccharts transformation.

See:
          Description

Class Summary
TransformationUtil Utility class providing convenient methods for the esterel to synccharts transformation and the pure synccharts optimization.
 

Enum Summary
TransformationUtil.TransformationType The enumeration is used to determine which type of headless transformation should be performed.
 

Package de.cau.cs.kieler.kies.transformation.util Description

Contains code responsible for executing a esterel to synccharts transformation.