|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StatePlusTransition | |
---|---|
de.cau.cs.kieler.synccharts.s |
Uses of StatePlusTransition in de.cau.cs.kieler.synccharts.s |
---|
Methods in de.cau.cs.kieler.synccharts.s that return StatePlusTransition | |
---|---|
StatePlusTransition |
Dependency.getFirstState()
Returns the first state tuple. |
StatePlusTransition |
Dependency.getSecondState()
Returns the second state tuple. |
StatePlusTransition |
StateAndSignals.getStatePlusTransition()
|
Methods in de.cau.cs.kieler.synccharts.s that return types with arguments of type StatePlusTransition | |
---|---|
static List<StatePlusTransition> |
Helper.computeThreadPriorities(State state)
Computes a list with all states in the right order of their priority. |
Methods in de.cau.cs.kieler.synccharts.s with parameters of type StatePlusTransition | |
---|---|
void |
Dependency.setFirstStateTupel(StatePlusTransition firstState)
Sets the first state tuple. |
void |
Dependency.setSecondStateTupel(StatePlusTransition secondState)
Sets the second state tuple. |
void |
StateAndSignals.setState(StatePlusTransition newState)
|
Constructors in de.cau.cs.kieler.synccharts.s with parameters of type StatePlusTransition | |
---|---|
Dependency(StatePlusTransition firstState,
StatePlusTransition secondState,
int type)
The constructor with two tuples and a type. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |