Package de.cau.cs.kieler.synccharts.text.kitsState.ui

Class Summary
CustomizedKitsStateExecutableExtensionFactory  
KitsStateDiagnosticConverterImpl This filter realizes the filtering of the non-null-state-parentRegion-condition.
KitsStateUiModule Use this class to register components to be used within the IDE.