public interface ISCTransition extends IEdgeSemanticTraced<ISCState>
Modifier and Type | Method and Description |
---|---|
ISCState |
getFrom() |
java.lang.String |
getId() |
java.lang.String |
getLabel() |
ISCRegion |
getParentRegion() |
ISCState |
getTo() |
boolean |
isInvolved(ISCState state) |
boolean |
isReverse() |
void |
setFromTo(ISCState from,
ISCState to) |
void |
unregister() |
getEdgeFromSemantics, getEdgeSemantics, getEdgeToSemantics, setEdgeSemantics