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

Packages that use de.cau.cs.kieler.synccharts.s
de.cau.cs.kieler.synccharts.s   
 

Classes in de.cau.cs.kieler.synccharts.s used by de.cau.cs.kieler.synccharts.s
Activator
          The activator class controls the plug-in life cycle
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.
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.