de.cau.cs.kieler.synccharts.codegen.esterel.xtend
Class Helper
java.lang.Object
de.cau.cs.kieler.synccharts.codegen.esterel.xtend.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()
isRootState
public Boolean isRootState(State state)
getParentRegionString
public String getParentRegionString(State state)
getStatePathAsName
public String getStatePathAsName(State state)