Package de.cau.cs.kieler.synccharts.s

Class Summary
Activator The activator class controls the plug-in life cycle
CompareTransitions A simple Class to compare Transitions.
Dependency A dependency is a type which contains two tuples and a type.
Enumerator An enumerator class for enumerating adjacent vertices in a graph.
Graph An implementation of an unweighted, directed graph using an adjacency matrix or an adjacency list for encoding the set of edges.
Helper The Helper class provides some helping functions for the generation of code.
StateAndSignals An implementation of a "triple" with a state, its trigger signals and effect signals.
StatePlusTransition An implementation of a "triple" with a state, its type and one of its transitions.
SyncCharts2SHandler  
Tuple<T,V> A simple implementation of a tuple type.