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

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

public class Helper
extends Object

Rating red

Constructor Summary
Helper()
           
 
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
 

Constructor Detail

Helper

public Helper()
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