lemon-0.x: lemon/bits/extendable_graph

     1 // -*- c++ -*-

     3 #ifndef LEMON_EXTENDABLE_GRAPH_EXTENDER_H

     4 #define LEMON_EXTENDABLE_GRAPH_EXTENDER_H

     6 namespace lemon {

     8   template <typename _Base>

     9   class ExtendableGraphExtender : public _Base {

    10   public:

    12     typedef ExtendableGraphExtender Graph;

    13     typedef _Base Parent;

    15     typedef typename Parent::Node Node;

    16     typedef typename Parent::Edge Edge;

    18     Node addNode() {

    19       Node node = Parent::addNode();

    20       Parent::getNotifier(Node()).add(node);

    21       return node;

    22     }

    24     Edge addEdge(const Node& from, const Node& to) {

    25       Edge edge = Parent::addEdge(from, to);

    26       Parent::getNotifier(Edge()).add(edge);

    27       return edge;

    28     }

    30   };

    32   template <typename _Base>

    33   class ExtendableEdgeSetExtender : public _Base {

    34   public:

    36     typedef ExtendableEdgeSetExtender Graph;

    37     typedef _Base Parent;

    39     typedef typename Parent::Edge Edge;

    40     typedef typename Parent::Node Node;

    42     Edge addEdge(const Node& from, const Node& to) {

    43       Edge edge = Parent::addEdge(from, to);

    44       Parent::getNotifier(Edge()).add(edge);

    45       return edge;

    46     }

    48   };

    50   template <typename _Base>

    51   class ExtendableUGraphExtender : public _Base {

    52   public:

    54     typedef ExtendableUGraphExtender Graph;

    55     typedef _Base Parent;

    57     typedef typename Parent::Node Node;

    58     typedef typename Parent::Edge Edge;

    59     typedef typename Parent::UEdge UEdge;

    61     Node addNode() {

    62       Node node = Parent::addNode();

    63       Parent::getNotifier(Node()).add(node);

    64       return node;

    65     }

    67     UEdge addEdge(const Node& from, const Node& to) {

    68       UEdge uedge = Parent::addEdge(from, to);

    69       Parent::getNotifier(UEdge()).add(uedge);

    71       std::vector<Edge> edges;

    72       edges.push_back(Parent::direct(uedge, true));

    73       edges.push_back(Parent::direct(uedge, false));

    74       Parent::getNotifier(Edge()).add(edges);

    76       return uedge;

    77     }

    79   };

    81   template <typename _Base>

    82   class ExtendableUEdgeSetExtender : public _Base {

    83   public:

    85     typedef ExtendableUEdgeSetExtender Graph;

    86     typedef _Base Parent;

    88     typedef typename Parent::Node Node;

    89     typedef typename Parent::Edge Edge;

    90     typedef typename Parent::UEdge UEdge;

    92     UEdge addEdge(const Node& from, const Node& to) {

    93       UEdge uedge = Parent::addEdge(from, to);

    94       Parent::getNotifier(UEdge()).add(uedge);

    96       std::vector<Edge> edges;

    97       edges.push_back(Parent::direct(uedge, true));

    98       edges.push_back(Parent::direct(uedge, false));

    99       Parent::getNotifier(Edge()).add(edges);

   101       return uedge;

   102     }

   104   };

   107   template <typename _Base>

   108   class ExtendableBpUGraphExtender : public _Base {

   109   public:

   111     typedef _Base Parent;

   112     typedef ExtendableBpUGraphExtender Graph;

   114     typedef typename Parent::Node Node;

   115     typedef typename Parent::BNode BNode;

   116     typedef typename Parent::ANode ANode;

   117     typedef typename Parent::Edge Edge;

   118     typedef typename Parent::UEdge UEdge;

   120     Node addANode() {

   121       Node node = Parent::addANode();

   122       Parent::getNotifier(ANode()).add(node);

   123       Parent::getNotifier(Node()).add(node);

   124       return node;

   125     }

   127     Node addBNode() {

   128       Node node = Parent::addBNode();

   129       Parent::getNotifier(BNode()).add(node);

   130       Parent::getNotifier(Node()).add(node);

   131       return node;

   132     }

   134     UEdge addEdge(const Node& source, const Node& target) {

   135       UEdge uedge = Parent::addEdge(source, target);

   136       Parent::getNotifier(UEdge()).add(uedge);

   138       std::vector<Edge> edges;

   139       edges.push_back(Parent::direct(uedge, true));

   140       edges.push_back(Parent::direct(uedge, false));

   141       Parent::getNotifier(Edge()).add(edges);

   143       return uedge;

   144     }

   146   };

   148 }

   150 #endif

author	alpar
	Fri, 03 Feb 2006 09:18:17 +0000
changeset 1949	5db4ff8d69de
parent 1909	2d806130e700
child 1956	a055123339d5
permissions	-rw-r--r--