// Return all the transitions from the specified state with the specified
// type.
private Set _transitionLabelsFrom(State state, int transitionType) {
Set labels = new HashSet();
ComponentPort outPort = state.outgoingPort;
Iterator transitions = outPort.linkedRelationList().iterator();
while (transitions.hasNext()) {
InterfaceAutomatonTransition transition = (InterfaceAutomatonTransition) transitions
.next();
int type = transition.getType();