de.cau.cs.kieler.synccharts.codegen.esterel
Class Helper
java.lang.Object
de.cau.cs.kieler.synccharts.codegen.esterel.Helper
public class Helper
- extends Object
- Rating

Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Helper
public Helper()
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