public interface Region extends java.util.Set<State>
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.lang.Object> |
getEntering() |
java.util.Set<java.lang.Object> |
getExiting() |
java.util.Set<java.lang.Object> |
getExternal() |
java.util.Set<java.lang.Object> |
getInternal() |
void |
initialize(TransitionSystem ts) |
boolean |
isValidRegion() |
java.util.Set<java.lang.Object> getEntering()
java.util.Set<java.lang.Object> getExiting()
java.util.Set<java.lang.Object> getInternal()
java.util.Set<java.lang.Object> getExternal()
boolean isValidRegion()
void initialize(TransitionSystem ts)