public interface RegionRedefinition extends ElementRedefinition<org.eclipse.uml2.uml.Region,org.eclipse.uml2.uml.StateMachine>
| Modifier and Type | Method and Description | 
|---|---|
| java.util.Collection<? extends InheritableVertex<? extends org.eclipse.uml2.uml.Vertex>> | getAllSubvertices() | 
| java.util.Collection<? extends TransitionRedefinition> | getAllTransitions() | 
getLocalRedefinition, getName, getRedefinitionChainHead, getRedefinitionChainTail, getStereotypeValue, redefine, setNamegetContext, getReferenceTarget, isInheritedjava.util.Collection<? extends InheritableVertex<? extends org.eclipse.uml2.uml.Vertex>> getAllSubvertices()
java.util.Collection<? extends TransitionRedefinition> getAllTransitions()