+
+ // merge edge mapping
+
+ Hashtable<ReferenceEdge, StallSite> newStallEdgeMapping=newConflictsMap.getStallEdgeMap();
+ Set<ReferenceEdge> edgeSet=newStallEdgeMapping.keySet();
+ for (Iterator iterator = edgeSet.iterator(); iterator.hasNext();) {
+ ReferenceEdge stallEdge = (ReferenceEdge) iterator.next();
+ StallSite newStallSite=newStallEdgeMapping.get(stallEdge);
+ getStallEdgeMap().put(stallEdge, newStallSite);
+ }
+
+ }
+
+ public boolean equals(Object o) {
+
+ if (o == null) {
+ return false;
+ }
+
+ if (!(o instanceof ParentChildConflictsMap)) {
+ return false;
+ }
+
+ ParentChildConflictsMap in = (ParentChildConflictsMap) o;
+
+ if (afterChildSESE==in.isAfterChildSESE() && accessibleMap.equals(in.getAccessibleMap())
+ && stallMap.equals(in.getStallMap())) {
+ return true;
+ } else {
+ return false;
+ }
+
+ }