Package de.cau.cs.kieler.sim.kivi

Class Summary
Activator The activator class controls the plug-in life cycle
KiViDataComponent A data component that observes the activity of syncchart states during simulation.
StateActivityTrigger A trigger notifying the view management about the active states during simulation.
StateActivityTrigger.ActiveStates Contains the currently active states.
StateMachineKiViDataComponent A data component that observes the activity of syncchart states during simulation.
StateMachineSimulationTrigger A trigger notifying the view management about the internal model states and simulation state during simulation.
StateMachineSimulationTrigger.StateMachineSimulationState A TriggerState for a KIEM simulation of a State Machine, e.g.