Uses of Class
de.cau.cs.kieler.synccharts.codegen.sc.StatePlusTransition

Packages that use StatePlusTransition
de.cau.cs.kieler.synccharts.codegen.sc In the codegen package the process of generating code from a SyncChart model is implemented. 
 

Uses of StatePlusTransition in de.cau.cs.kieler.synccharts.codegen.sc
 

Methods in de.cau.cs.kieler.synccharts.codegen.sc 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.codegen.sc 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.codegen.sc 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.codegen.sc with parameters of type StatePlusTransition
Dependency(StatePlusTransition firstState, StatePlusTransition secondState, int type)
          The constructor with two tuples and a type.