|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |