for (Node node : nodeToProcess.getSuccessors()) {
HashMap<Transition, ArrayList<NameValuePair>> setSets = nodeToProcess.getOutgoingEdges().get(node).getSetSetMap();
for (Map.Entry mapElement : setSets.entrySet()) {
for (Node node : nodeToProcess.getSuccessors()) {
HashMap<Transition, ArrayList<NameValuePair>> setSets = nodeToProcess.getOutgoingEdges().get(node).getSetSetMap();
for (Map.Entry mapElement : setSets.entrySet()) {
- // Checking if the out set has changed or not(Add its successors to the change list!)
- if (isChanged) {
- for (Node i : nodeToProcess.getSuccessors()) {
+ // For all the successors of the current node
+ for (Node i : nodeToProcess.getSuccessors()) {