de.cau.cs.kieler.synccharts.codegen.esterel
Class Helper

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.codegen.esterel.Helper

public final class Helper
extends Object

Rating red

Method Summary
static List<State> sortStates(List<State> states)
          Sort the states inside a region according to their immediate transitions.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

sortStates

public static List<State> sortStates(List<State> states)
Sort the states inside a region according to their immediate transitions. An immediate transitions may only occur from a state to a successor state

Parameters:
states - all states of a region
Returns:
sorted list x