- for(Iterator<Map.Entry<TempDescriptor, MySet<Edge>>> entryIt=delta.basevaredge.entrySet().iterator();entryIt.hasNext();) {
- Map.Entry<TempDescriptor, MySet<Edge>> entry=entryIt.next();
- TempDescriptor entrytmp=entry.getKey();
- if (entrytmp==tmp) {
- /* Check is this is the tmp we overwrite, if so add to remove set */
- Util.relationUpdate(delta.varedgeremove, tmp, null, entry.getValue());
- } else if (graph.varMap.containsKey(entrytmp)) {
- /* Check if the target of the edge is changed */
- MySet<Edge> newset=(MySet<Edge>)entry.getValue().clone();
- MySet<Edge> removeset=shrinkSet(newset, graph.varMap.get(entrytmp), single, summary);
- Util.relationUpdate(delta.varedgeremove, entrytmp, newset, removeset);
- Util.relationUpdate(delta.varedgeadd, entrytmp, null, newset);
- } else {
- /* Check if the target of the edge is changed */
- MySet<Edge> newset=(MySet<Edge>)entry.getValue().clone();
- MySet<Edge> removeset=shrinkSet(newset, graph.parent.varMap.get(entrytmp), single, summary);
- Util.relationUpdate(delta.varedgeremove, entrytmp, newset, removeset);
- Util.relationUpdate(delta.varedgeadd, entrytmp, null, newset);
- }
+ for(Iterator<Map.Entry<TempDescriptor, MySet<Edge>>> entryIt=delta.basevaredge.entrySet().iterator(); entryIt.hasNext(); ) {
+ Map.Entry<TempDescriptor, MySet<Edge>> entry=entryIt.next();
+ TempDescriptor entrytmp=entry.getKey();
+ if (entrytmp==tmp) {
+ /* Check is this is the tmp we overwrite, if so add to remove set */
+ Util.relationUpdate(delta.varedgeremove, tmp, null, entry.getValue());
+ } else if (graph.varMap.containsKey(entrytmp)) {
+ /* Check if the target of the edge is changed */
+ MySet<Edge> newset=(MySet<Edge>)entry.getValue().clone();
+ MySet<Edge> removeset=shrinkSet(newset, graph.varMap.get(entrytmp), single, summary);
+ Util.relationUpdate(delta.varedgeremove, entrytmp, newset, removeset);
+ Util.relationUpdate(delta.varedgeadd, entrytmp, null, newset);
+ } else {
+ /* Check if the target of the edge is changed */
+ MySet<Edge> newset=(MySet<Edge>)entry.getValue().clone();
+ MySet<Edge> removeset=shrinkSet(newset, graph.parent.varMap.get(entrytmp), single, summary);
+ Util.relationUpdate(delta.varedgeremove, entrytmp, newset, removeset);
+ Util.relationUpdate(delta.varedgeadd, entrytmp, null, newset);
+ }