equal
  deleted
  inserted
  replaced
  
    
    
    49     UndirEdge addEdge(const Node& from, const Node& to) { | 
    49     UndirEdge addEdge(const Node& from, const Node& to) { | 
    50       UndirEdge uedge = Parent::addEdge(from, to);  | 
    50       UndirEdge uedge = Parent::addEdge(from, to);  | 
    51       Parent::getNotifier(UndirEdge()).add(uedge);  | 
    51       Parent::getNotifier(UndirEdge()).add(uedge);  | 
    52   | 
    52   | 
    53       std::vector<Edge> edges;  | 
    53       std::vector<Edge> edges;  | 
    54       edges.push_back(Edge(uedge, true));  | 
    54       edges.push_back(Parent::direct(uedge, true));  | 
    55       edges.push_back(Edge(uedge, false));  | 
    55       edges.push_back(Parent::direct(uedge, false));  | 
    56       Parent::getNotifier(Edge()).add(edges);  | 
    56       Parent::getNotifier(Edge()).add(edges);  | 
    57   | 
    57   | 
    58       return uedge;  | 
    58       return uedge;  | 
    59     }  | 
    59     }  | 
    60   | 
    60   |