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. |