Package de.cau.cs.kieler.synccharts.diagram.custom.triggerlisteners

Class Summary
RedundantLabelTriggerListener This class is responsible for hiding redundant labels.
VisibilityManager This class is responsible for hiding and showing transition priority and region id labels.