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. 
template The template package includes the main files to generate code. 
 

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

Uses of StatePlusTransition in template
 

Methods in template 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.