Constructor and Description |
---|
RegionImpl() |
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 |
isDis_ent_ex() |
boolean |
isDis_ent_ext() |
boolean |
isDis_ent_int() |
boolean |
isDis_ex_ext() |
boolean |
isDis_ex_int() |
boolean |
isValidRegion() |
add, clear, clone, contains, isEmpty, iterator, remove, size
addAll, containsAll, retainAll, toArray, toArray, toString
public java.util.Set<java.lang.Object> getEntering()
getEntering
in interface Region
public java.util.Set<java.lang.Object> getExiting()
getExiting
in interface Region
public java.util.Set<java.lang.Object> getInternal()
getInternal
in interface Region
public java.util.Set<java.lang.Object> getExternal()
getExternal
in interface Region
public boolean isValidRegion()
isValidRegion
in interface Region
public void initialize(TransitionSystem ts)
initialize
in interface Region
public boolean isDis_ent_ex()
public boolean isDis_ent_int()
public boolean isDis_ent_ext()
public boolean isDis_ex_int()
public boolean isDis_ex_ext()