// than one state if the automaton is non-deterministic.
// Return an empty set if such a transition does not exist.
private Set _getDestinationStates(State state, String label) {
Set destinations = new HashSet();
ComponentPort outPort = state.outgoingPort;
Iterator iterator = outPort.linkedRelationList().iterator();
while (iterator.hasNext()) {
InterfaceAutomatonTransition transition = (InterfaceAutomatonTransition) iterator
.next();
String transitionLabel = transition.getLabel();