Set ext = SCXMLHelper.getStatesExited(t, currentStates);
exitedStates.addAll(ext);
}
// compute residual states - these are preserved from the previous step
Set residual = new HashSet(currentStates);
residual.removeAll(exitedStates);
// SeedTargetSet (residual, transitList) -> seedSet
Set seedSet = seedTargetSet(residual, transitions, errorReporter);
// DetermineTargetStates (initialTargetSet) -> targetSet
Set targetSet = step.getAfterStatus().getStates();
targetSet.addAll(seedSet); //copy to preserve seedSet