1.1 --- a/lemon/bits/extendable_graph_extender.h	Thu Jan 26 06:44:22 2006 +0000
     1.2 +++ b/lemon/bits/extendable_graph_extender.h	Thu Jan 26 15:42:13 2006 +0000
     1.3 @@ -48,15 +48,15 @@
     1.4    };
     1.5  
     1.6    template <typename _Base> 
     1.7 -  class ExtendableUndirGraphExtender : public _Base {
     1.8 +  class ExtendableUGraphExtender : public _Base {
     1.9    public:
    1.10  
    1.11 -    typedef ExtendableUndirGraphExtender Graph;
    1.12 +    typedef ExtendableUGraphExtender Graph;
    1.13      typedef _Base Parent;
    1.14  
    1.15      typedef typename Parent::Node Node;
    1.16      typedef typename Parent::Edge Edge;
    1.17 -    typedef typename Parent::UndirEdge UndirEdge;
    1.18 +    typedef typename Parent::UEdge UEdge;
    1.19  
    1.20      Node addNode() {
    1.21        Node node = Parent::addNode();
    1.22 @@ -64,9 +64,9 @@
    1.23        return node;
    1.24      }
    1.25  
    1.26 -    UndirEdge addEdge(const Node& from, const Node& to) {
    1.27 -      UndirEdge uedge = Parent::addEdge(from, to);
    1.28 -      Parent::getNotifier(UndirEdge()).add(uedge);
    1.29 +    UEdge addEdge(const Node& from, const Node& to) {
    1.30 +      UEdge uedge = Parent::addEdge(from, to);
    1.31 +      Parent::getNotifier(UEdge()).add(uedge);
    1.32  
    1.33        std::vector<Edge> edges;
    1.34        edges.push_back(Parent::direct(uedge, true));
    1.35 @@ -79,19 +79,19 @@
    1.36    };
    1.37  
    1.38    template <typename _Base> 
    1.39 -  class ExtendableUndirEdgeSetExtender : public _Base {
    1.40 +  class ExtendableUEdgeSetExtender : public _Base {
    1.41    public:
    1.42  
    1.43 -    typedef ExtendableUndirEdgeSetExtender Graph;
    1.44 +    typedef ExtendableUEdgeSetExtender Graph;
    1.45      typedef _Base Parent;
    1.46  
    1.47      typedef typename Parent::Node Node;
    1.48      typedef typename Parent::Edge Edge;
    1.49 -    typedef typename Parent::UndirEdge UndirEdge;
    1.50 +    typedef typename Parent::UEdge UEdge;
    1.51  
    1.52 -    UndirEdge addEdge(const Node& from, const Node& to) {
    1.53 -      UndirEdge uedge = Parent::addEdge(from, to);
    1.54 -      Parent::getNotifier(UndirEdge()).add(uedge);
    1.55 +    UEdge addEdge(const Node& from, const Node& to) {
    1.56 +      UEdge uedge = Parent::addEdge(from, to);
    1.57 +      Parent::getNotifier(UEdge()).add(uedge);
    1.58  
    1.59        std::vector<Edge> edges;
    1.60        edges.push_back(Parent::direct(uedge, true));
    1.61 @@ -105,17 +105,17 @@
    1.62  
    1.63  
    1.64    template <typename _Base>
    1.65 -  class ExtendableUndirBipartiteGraphExtender : public _Base {
    1.66 +  class ExtendableUBipartiteGraphExtender : public _Base {
    1.67    public:
    1.68  
    1.69      typedef _Base Parent;
    1.70 -    typedef ExtendableUndirBipartiteGraphExtender Graph;
    1.71 +    typedef ExtendableUBipartiteGraphExtender Graph;
    1.72    
    1.73      typedef typename Parent::Node Node;
    1.74      typedef typename Parent::LowerNode LowerNode;
    1.75      typedef typename Parent::UpperNode UpperNode;
    1.76      typedef typename Parent::Edge Edge;
    1.77 -    typedef typename Parent::UndirEdge UndirEdge;
    1.78 +    typedef typename Parent::UEdge UEdge;
    1.79    
    1.80      Node addUpperNode() {
    1.81        Node node = Parent::addUpperNode();
    1.82 @@ -131,16 +131,16 @@
    1.83        return node;
    1.84      }
    1.85    
    1.86 -    UndirEdge addEdge(const Node& source, const Node& target) {
    1.87 -      UndirEdge undiredge = Parent::addEdge(source, target);
    1.88 -      Parent::getNotifier(UndirEdge()).add(undiredge);
    1.89 +    UEdge addEdge(const Node& source, const Node& target) {
    1.90 +      UEdge uedge = Parent::addEdge(source, target);
    1.91 +      Parent::getNotifier(UEdge()).add(uedge);
    1.92      
    1.93        std::vector<Edge> edges;
    1.94 -      edges.push_back(Parent::direct(undiredge, true));
    1.95 -      edges.push_back(Parent::direct(undiredge, false));
    1.96 +      edges.push_back(Parent::direct(uedge, true));
    1.97 +      edges.push_back(Parent::direct(uedge, false));
    1.98        Parent::getNotifier(Edge()).add(edges);
    1.99      
   1.100 -      return undiredge;
   1.101 +      return uedge;
   1.102      }
   1.103  
   1.104    };