// Check if the node has changed or not
if (isChanged) {
// Check for a conflict in all the transition out of this node
- for (Node node : nodeToProcess.getSuccessors()) {
- HashMap<Transition, ArrayList<NameValuePair>> setSets = nodeToProcess.getOutgoingEdges().get(node).getSetSetMap();
- for (Map.Entry mapElement : setSets.entrySet()) {
- Transition transition = (Transition)mapElement.getKey();
- if (checkForConflict(nodeToProcess, node, transition))
- return true;
- }
- }
-
+ if (checkAllSuccForConflict(nodeToProcess))
+ return true;
+
// Update the parents list for the successors of the current node
parents.clear();
parents.add(nodeToProcess);
return message;
}
+ boolean checkAllSuccForConflict(Node currentNode) {
+ for (Node node : currentNode.getSuccessors()) {
+ HashMap<Transition, ArrayList<NameValuePair>> setSets = currentNode.getOutgoingEdges().get(node).getSetSetMap();
+ for (Map.Entry mapElement : setSets.entrySet()) {
+ Transition transition = (Transition)mapElement.getKey();
+ if (checkForConflict(currentNode, node, transition))
+ return true;
+ }
+ }
+ return false;
+ }
+
boolean checkForConflict(Node parentNode, Node currentNode, Transition currentTransition) {
ArrayList<NameValuePair> setSet = parentNode.getOutgoingEdges().get(currentNode).getSetSetMap().get(currentTransition);
HashMap<String, String> valueMap = new HashMap<String, String>(); // HashMap from varName to value
boolean isChanged = updateTheOutSet(parentNode, currentNode);
// Check if the outSet of this state has changed, update all of its successors' sets if any
- if (isChanged) {
- for (Node node : currentNode.getSuccessors()) {
- HashMap<Transition, ArrayList<NameValuePair>> setSets = currentNode.getOutgoingEdges().get(node).getSetSetMap();
- for (Map.Entry mapElement : setSets.entrySet()) {
- Transition currentTransition = (Transition)mapElement.getKey();
- conflictFound = conflictFound || checkForConflict(currentNode, node, currentTransition);
- }
- }
- conflictFound = conflictFound || propagateTheChange(currentNode);
- }
+ if (isChanged)
+ conflictFound = conflictFound || checkAllSuccForConflict(currentNode) || propagateTheChange(currentNode);
+
// Update the parent node
if (nodes.containsKey(id)) {
parentNode = nodes.get(id);