lemon-0.x: src/work/marci/graph_wrapper.h@5dc61ba30730

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

     2 #ifndef HUGO_GRAPH_WRAPPER_H

     3 #define HUGO_GRAPH_WRAPPER_H

     5 #include <invalid.h>

     7 namespace hugo {

     9   template<typename Graph>

    10   class GraphWrapper {

    11   protected:

    12     Graph* graph;

    14   public:

    15     typedef Graph BaseGraph;

    16     typedef Graph ParentGraph;

    18 //     GraphWrapper() : graph(0) { }

    19     GraphWrapper(Graph& _graph) : graph(&_graph) { }

    20 //     void setGraph(Graph& _graph) { graph=&_graph; }

    21 //     Graph& getGraph() const { return *graph; }

    23 //    typedef typename Graph::Node Node;

    24     class Node : public Graph::Node {

    25       friend class GraphWrapper<Graph>;

    26     public:

    27       Node() { }

    28       Node(const typename Graph::Node& _n) : Graph::Node(_n) { }

    29       Node(const Invalid& i) : Graph::Node(i) { }

    30     };

    31     class NodeIt {

    32       friend class GraphWrapper<Graph>;

    33       typename Graph::NodeIt n;

    34      public:

    35       NodeIt() { }

    36       NodeIt(const typename Graph::NodeIt& _n) : n(_n) { }

    37       NodeIt(const Invalid& i) : n(i) { }

    38       NodeIt(const GraphWrapper<Graph>& _G) : n(*(_G.graph)) { }

    39       operator Node() const { return Node(typename Graph::Node(n)); }

    40     };

    41 //    typedef typename Graph::Edge Edge;

    42     class Edge : public Graph::Edge {

    43       friend class GraphWrapper<Graph>;

    44     public:

    45       Edge() { }

    46       Edge(const typename Graph::Edge& _e) : Graph::Edge(_e) { }

    47       Edge(const Invalid& i) : Graph::Edge(i) { }

    48     };

    49     class OutEdgeIt {

    50       friend class GraphWrapper<Graph>;

    51 //      typedef typename Graph::OutEdgeIt GraphOutEdgeIt;

    52       typename Graph::OutEdgeIt e;

    53     public:

    54       OutEdgeIt() { }

    55       OutEdgeIt(const typename Graph::OutEdgeIt& _e) : e(_e) { }

    56       OutEdgeIt(const Invalid& i) : e(i) { }

    57       OutEdgeIt(const GraphWrapper<Graph>& _G, const Node& _n) :

    58 	e(*(_G.graph), typename Graph::Node(_n)) { }

    59       operator Edge() const { return Edge(typename Graph::Edge(e)); }

    60     };

    61     class InEdgeIt {

    62       friend class GraphWrapper<Graph>;

    63 //      typedef typename Graph::InEdgeIt GraphInEdgeIt;

    64       typename Graph::InEdgeIt e;

    65     public:

    66       InEdgeIt() { }

    67       InEdgeIt(const typename Graph::InEdgeIt& _e) : e(_e) { }

    68       InEdgeIt(const Invalid& i) : e(i) { }

    69       InEdgeIt(const GraphWrapper<Graph>& _G, const Node& _n) :

    70 	e(*(_G.graph), typename Graph::Node(_n)) { }

    71       operator Edge() const { return Edge(typename Graph::Edge(e)); }

    72     };

    73     //typedef typename Graph::SymEdgeIt SymEdgeIt;

    74     class EdgeIt {

    75       friend class GraphWrapper<Graph>;

    76 //      typedef typename Graph::EdgeIt GraphEdgeIt;

    77       typename Graph::EdgeIt e;

    78     public:

    79       EdgeIt() { }

    80       EdgeIt(const typename Graph::EdgeIt& _e) : e(_e) { }

    81       EdgeIt(const Invalid& i) : e(i) { }

    82       EdgeIt(const GraphWrapper<Graph>& _G) : e(*(_G.graph)) { }

    83       operator Edge() const { return Edge(typename Graph::Edge(e)); }

    84     };

    86     NodeIt& first(NodeIt& i) const {

    87       i=NodeIt(*this); return i;

    88     }

    89     OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {

    90       i=OutEdgeIt(*this, p); return i;

    91     }

    92     InEdgeIt& first(InEdgeIt& i, const Node& p) const {

    93       i=InEdgeIt(*this, p); return i;

    94     }

    95     EdgeIt& first(EdgeIt& i) const {

    96       i=EdgeIt(*this); return i;

    97     }

    98 //     template<typename I> I& first(I& i) const {

    99 //       i=I(*this);

   100 //       return i;

   101 //     }

   102 //     template<typename I, typename P> I& first(I& i, const P& p) const {

   103 //       i=I(*this, p);

   104 //       return i;

   105 //     }

   107     NodeIt& next(NodeIt& i) const { graph->next(i.n); return i; }

   108     OutEdgeIt& next(OutEdgeIt& i) const { graph->next(i.e); return i; }

   109     InEdgeIt& next(InEdgeIt& i) const { graph->next(i.e); return i; }

   110     EdgeIt& next(EdgeIt& i) const { graph->next(i.e); return i; }

   111 //    template<typename I> I& next(I &i) const { graph->next(i); return i; }

   112     template< typename It > It first() const {

   113       It e; this->first(e); return e; }

   115     template< typename It > It first(const Node& v) const {

   116       It e; this->first(e, v); return e; }

   118     Node head(const Edge& e) const {

   119       return Node(graph->head(static_cast<typename Graph::Edge>(e))); }

   120     Node tail(const Edge& e) const {

   121       return Node(graph->tail(static_cast<typename Graph::Edge>(e))); }

   123     bool valid(const Node& n) const {

   124       return graph->valid(static_cast<typename Graph::Node>(n)); }

   125     bool valid(const Edge& e) const {

   126       return graph->valid(static_cast<typename Graph::Edge>(e)); }

   127 //    template<typename I> bool valid(const I& i) const {

   128 //      return graph->valid(i); }

   130     //template<typename I> void setInvalid(const I &i);

   131     //{ return graph->setInvalid(i); }

   133     int nodeNum() const { return graph->nodeNum(); }

   134     int edgeNum() const { return graph->edgeNum(); }

   136     Node aNode(const OutEdgeIt& e) const { return Node(graph->aNode(e.e)); }

   137     Node aNode(const InEdgeIt& e) const { return Node(graph->aNode(e.e)); }

   138     Node bNode(const OutEdgeIt& e) const { return Node(graph->bNode(e.e)); }

   139     Node bNode(const InEdgeIt& e) const { return Node(graph->bNode(e.e)); }

   140 //     template<typename I> Node aNode(const I& e) const {

   141 //       return Node(graph->aNode(e.e)); }

   142 //     template<typename I> Node bNode(const I& e) const {

   143 //       return Node(graph->bNode(e.e)); }

   145     Node addNode() const { return Node(graph->addNode()); }

   146     Edge addEdge(const Node& tail, const Node& head) const {

   147       return Edge(graph->addEdge(tail, head)); }

   149     void erase(const Node& i) const { graph->erase(i); }

   150     void erase(const Edge& i) const { graph->erase(i); }

   151 //    template<typename I> void erase(const I& i) const { graph->erase(i); }

   153     void clear() const { graph->clear(); }

   155     template<typename T> class NodeMap : public Graph::NodeMap<T> {

   156     public:

   157       NodeMap(const GraphWrapper<Graph>& _G) :

   158 	Graph::NodeMap<T>(*(_G.graph)) { }

   159       NodeMap(const GraphWrapper<Graph>& _G, T a) :

   160 	Graph::NodeMap<T>(*(_G.graph), a) { }

   161     };

   163     template<typename T> class EdgeMap : public Graph::EdgeMap<T> {

   164     public:

   165       EdgeMap(const GraphWrapper<Graph>& _G) :

   166 	Graph::EdgeMap<T>(*(_G.graph)) { }

   167       EdgeMap(const GraphWrapper<Graph>& _G, T a) :

   168 	Graph::EdgeMap<T>(*(_G.graph), a) { }

   169     };

   170   };

   173 //   template<typename Graph>

   174 //   class RevGraphWrapper

   175 //   {

   176 //   protected:

   177 //     Graph* graph;

   179 //   public:

   180 //     typedef Graph ParentGraph;

   182 //     typedef typename Graph::Node Node;

   183 //     typedef typename Graph::NodeIt NodeIt;

   185 //     typedef typename Graph::Edge Edge;

   186 //     typedef typename Graph::OutEdgeIt InEdgeIt;

   187 //     typedef typename Graph::InEdgeIt OutEdgeIt;

   188 //     //typedef typename Graph::SymEdgeIt SymEdgeIt;

   189 //     typedef typename Graph::EdgeIt EdgeIt;

   191 //     //RevGraphWrapper() : graph(0) { }

   192 //     RevGraphWrapper(Graph& _graph) : graph(&_graph) { }

   194 //     void setGraph(Graph& _graph) { graph = &_graph; }

   195 //     Graph& getGraph() const { return (*graph); }

   197 //     template<typename I> I& first(I& i) const { return graph->first(i); }

   198 //     template<typename I, typename P> I& first(I& i, const P& p) const {

   199 //       return graph->first(i, p); }

   201 //     template<typename I> I& next(I &i) const { return graph->next(i); }

   203 //     template< typename It > It first() const {

   204 //       It e; first(e); return e; }

   206 //     template< typename It > It first(const Node& v) const {

   207 //       It e; first(e, v); return e; }

   209 //     Node head(const Edge& e) const { return graph->tail(e); }

   210 //     Node tail(const Edge& e) const { return graph->head(e); }

   212 //     template<typename I> bool valid(const I& i) const

   213 //       { return graph->valid(i); }

   215 //     //template<typename I> void setInvalid(const I &i);

   216 //     //{ return graph->setInvalid(i); }

   218 //     template<typename I> Node aNode(const I& e) const {

   219 //       return graph->aNode(e); }

   220 //     template<typename I> Node bNode(const I& e) const {

   221 //       return graph->bNode(e); }

   223 //     Node addNode() const { return graph->addNode(); }

   224 //     Edge addEdge(const Node& tail, const Node& head) const {

   225 //       return graph->addEdge(tail, head); }

   227 //     int nodeNum() const { return graph->nodeNum(); }

   228 //     int edgeNum() const { return graph->edgeNum(); }

   230 //     template<typename I> void erase(const I& i) const { graph->erase(i); }

   232 //     void clear() const { graph->clear(); }

   234 //     template<typename T> class NodeMap : public Graph::NodeMap<T> {

   235 //     public:

   236 //       NodeMap(const RevGraphWrapper<Graph>& _G) :

   237 // 	Graph::NodeMap<T>(_G.getGraph()) { }

   238 //       NodeMap(const RevGraphWrapper<Graph>& _G, T a) :

   239 // 	Graph::NodeMap<T>(_G.getGraph(), a) { }

   240 //     };

   242 //     template<typename T> class EdgeMap : public Graph::EdgeMap<T> {

   243 //     public:

   244 //       EdgeMap(const RevGraphWrapper<Graph>& _G) :

   245 // 	Graph::EdgeMap<T>(_G.getGraph()) { }

   246 //       EdgeMap(const RevGraphWrapper<Graph>& _G, T a) :

   247 // 	Graph::EdgeMap<T>(_G.getGraph(), a) { }

   248 //     };

   249 //   };

   252   template<typename Graph>

   253   class RevGraphWrapper : public GraphWrapper<Graph> {

   254   public:

   255     typedef typename GraphWrapper<Graph>::Node Node;

   256     typedef typename GraphWrapper<Graph>::Edge Edge;

   257     //FIXME

   258     //If Graph::OutEdgeIt is not defined

   259     //and we do not want to use RevGraphWrapper::InEdgeIt,

   260     //this won't work, because of typedef

   261     //OR

   262     //graphs have to define their non-existing iterators to void

   263     //Unfortunately all the typedefs are instantiated in templates,

   264     //unlike other stuff

   265     typedef typename GraphWrapper<Graph>::OutEdgeIt InEdgeIt;

   266     typedef typename GraphWrapper<Graph>::InEdgeIt OutEdgeIt;

   268 //     RevGraphWrapper() : GraphWrapper<Graph>() { }

   269     RevGraphWrapper(Graph& _graph) : GraphWrapper<Graph>(_graph) { }

   271     Node head(const Edge& e) const

   272       { return GraphWrapper<Graph>::tail(e); }

   273     Node tail(const Edge& e) const

   274       { return GraphWrapper<Graph>::head(e); }

   275   };

   277   //Subgraph on the same node-set and partial edge-set

   278   template<typename Graph, typename NodeFilterMap,

   279 	   typename EdgeFilterMap>

   280   class SubGraphWrapper : public GraphWrapper<Graph> {

   281   protected:

   282     NodeFilterMap* node_filter_map;

   283     EdgeFilterMap* edge_filter_map;

   284   public:

   285 //     SubGraphWrapper() : GraphWrapper<Graph>(), filter_map(0) { }

   286     SubGraphWrapper(Graph& _graph, NodeFilterMap& _node_filter_map,

   287 		    EdgeFilterMap& _edge_filter_map) :

   288       GraphWrapper<Graph>(_graph), node_filter_map(&_node_filter_map),

   289       edge_filter_map(&_edge_filter_map) { }

   291     typedef typename GraphWrapper<Graph>::Node Node;

   292     class NodeIt {

   293       friend class GraphWrapper<Graph>;

   294       friend class SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>;

   295       typename Graph::NodeIt n;

   296      public:

   297       NodeIt() { }

   298       NodeIt(const typename Graph::NodeIt& _n) : n(_n) { }

   299       NodeIt(const Invalid& i) : n(i) { }

   300       NodeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G) :

   301 	n(*(_G.graph)) {

   302 	while (_G.graph->valid(n) && !(*(_G.node_filter_map))[n])

   303 	  _G.graph->next(n);

   304       }

   305       operator Node() const { return Node(typename Graph::Node(n)); }

   306     };

   307 //     class NodeIt : public Graph::NodeIt {

   308 // //      typedef typename Graph::NodeIt GraphNodeIt;

   309 //     public:

   310 //       NodeIt() { }

   311 //       NodeIt(const typename Graph::NodeIt& n) : Graph::NodeIt(n) { }

   312 //       NodeIt(const Invalid& i) : Graph::NodeIt(i) { }

   313 //       NodeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G) :

   314 // 	Graph::NodeIt(*(_G.graph)) {

   315 // 	while (_G.graph->valid((*this)/*.GraphNodeIt*/) &&

   316 // 	       !(*(_G.node_filter_map))[(*this)/*.GraphNodeIt*/])

   317 // 	  _G.graph->next((*this)/*.GraphNodeIt*/);

   318 //       }

   319 //     };

   320     typedef typename GraphWrapper<Graph>::Edge Edge;

   321     class OutEdgeIt {

   322       friend class GraphWrapper<Graph>;

   323       friend class SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>;

   324 //      typedef typename Graph::OutEdgeIt GraphOutEdgeIt;

   325       typename Graph::OutEdgeIt e;

   326     public:

   327       OutEdgeIt() { }

   328       OutEdgeIt(const typename Graph::OutEdgeIt& _e) : e(_e) { }

   329       OutEdgeIt(const Invalid& i) : e(i) { }

   330       OutEdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G,

   331 		const Node& _n) :

   332 	e(*(_G.graph), typename Graph::Node(_n)) {

   333       	while (_G.graph->valid(e) && !(*(_G.edge_filter_map))[e])

   334 	  _G.graph->next(e);

   335       }

   336       operator Edge() const { return Edge(typename Graph::Edge(e)); }

   337     };

   338     class InEdgeIt {

   339       friend class GraphWrapper<Graph>;

   340       friend class SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>;

   341 //      typedef typename Graph::InEdgeIt GraphInEdgeIt;

   342       typename Graph::InEdgeIt e;

   343     public:

   344       InEdgeIt() { }

   345       InEdgeIt(const typename Graph::InEdgeIt& _e) : e(_e) { }

   346       InEdgeIt(const Invalid& i) : e(i) { }

   347       InEdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G,

   348 	       const Node& _n) :

   349 	e(*(_G.graph), typename Graph::Node(_n)) {

   350       	while (_G.graph->valid(e) && !(*(_G.edge_filter_map))[e])

   351 	  _G.graph->next(e);

   352       }

   353       operator Edge() const { return Edge(typename Graph::Edge(e)); }

   354     };

   355     //typedef typename Graph::SymEdgeIt SymEdgeIt;

   356     class EdgeIt {

   357       friend class GraphWrapper<Graph>;

   358       friend class SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>;

   359 //      typedef typename Graph::EdgeIt GraphEdgeIt;

   360       typename Graph::EdgeIt e;

   361     public:

   362       EdgeIt() { }

   363       EdgeIt(const typename Graph::EdgeIt& _e) : e(_e) { }

   364       EdgeIt(const Invalid& i) : e(i) { }

   365       EdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G) :

   366 	e(*(_G.graph)) {

   367       	while (_G.graph->valid(e) && !(*(_G.edge_filter_map))[e])

   368 	  _G.graph->next(e);

   369       }

   370       operator Edge() const { return Edge(typename Graph::Edge(e)); }

   371     };

   372 //       operator Edge() const { return Edge(typename Graph::Edge(e)); }

   373 //     };

   374 //     class OutEdgeIt : public Graph::OutEdgeIt {

   375 // //      typedef typename Graph::OutEdgeIt GraphOutEdgeIt;

   376 //     public:

   377 //       OutEdgeIt() { }

   378 //       OutEdgeIt(const typename Graph::OutEdgeIt& e) : Graph::OutEdgeIt(e) { }

   379 //       OutEdgeIt(const Invalid& i) : Graph::OutEdgeIt(i) { }

   380 //       OutEdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>&

   381 // 		_G, const Node& n) :

   382 // 	Graph::OutEdgeIt(*(_G.graph), n) {

   383 // 	while (_G.graph->valid((*this)/*.GraphOutEdgeIt*/) &&

   384 // 	       !(*(_G.edge_filter_map))[(*this)/*.GraphOutEdgeIt*/])

   385 // 	  _G.graph->next((*this)/*.GraphOutEdgeIt*/);

   386 //       }

   387 //     };

   388 //     class InEdgeIt : public Graph::InEdgeIt {

   389 // //      typedef typename Graph::InEdgeIt GraphInEdgeIt;

   390 //     public:

   391 //       InEdgeIt() { }

   392 //       InEdgeIt(const typename Graph::InEdgeIt& e) : Graph::InEdgeIt(e) { }

   393 //       InEdgeIt(const Invalid& i) : Graph::InEdgeIt(i) { }

   394 //       InEdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G,

   395 // 	       const Node& n) :

   396 // 	Graph::InEdgeIt(*(_G.graph), n) {

   397 // 	while (_G.graph->valid((*this)/*.GraphInEdgeIt*/) &&

   398 // 	       !(*(_G.edge_filter_map))[(*this)/*.GraphInEdgeIt*/])

   399 // 	  _G.graph->next((*this)/*.GraphInEdgeIt*/);

   400 //       }

   401 //     };

   402 // //     //typedef typename Graph::SymEdgeIt SymEdgeIt;

   403 //     class EdgeIt : public Graph::EdgeIt {

   404 // //      typedef typename Graph::EdgeIt GraphEdgeIt;

   405 //     public:

   406 //       EdgeIt() { }

   407 //       EdgeIt(const typename Graph::EdgeIt& e) : Graph::EdgeIt(e) { }

   408 //       EdgeIt(const Invalid& i) : Graph::EdgeIt(i) { }

   409 //       EdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G) :

   410 // 	Graph::EdgeIt(*(_G.graph)) {

   411 // 	while (_G.graph->valid((*this)/*.GraphEdgeIt*/) &&

   412 // 	       !(*(_G.edge_filter_map))[(*this)/*.GraphEdgeIt*/])

   413 // 	  _G.graph->next((*this)/*.GraphEdgeIt*/);

   414 //       }

   415 //     };

   418     NodeIt& first(NodeIt& i) const {

   419       i=NodeIt(*this); return i;

   420     }

   421     OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {

   422       i=OutEdgeIt(*this, p); return i;

   423     }

   424     InEdgeIt& first(InEdgeIt& i, const Node& p) const {

   425       i=InEdgeIt(*this, p); return i;

   426     }

   427     EdgeIt& first(EdgeIt& i) const {

   428       i=EdgeIt(*this); return i;

   429     }

   431 //     template<typename I> I& first(I& i) const {

   432 //       graph->first(i);

   433 //       //while (graph->valid(i) && !filter_map->get(i)) { graph->next(i); }

   434 //       while (graph->valid(i) && !(*edge_filter_map)[i]) { graph->next(i); }

   435 //       return i;

   436 //     }

   437 //     template<typename I, typename P> I& first(I& i, const P& p) const {

   438 //       graph->first(i, p);

   439 // //      while (graph->valid(i) && !filter_map->get(i)) { graph->next(i); }

   440 //       while (graph->valid(i) && !(*edge_filter_map)[i]) { graph->next(i); }

   441 //       return i;

   442 //     }

   444     NodeIt& next(NodeIt& i) const {

   445       graph->next(i.n);

   446       while (graph->valid(i) && !(*node_filter_map)[i.n]) { graph->next(i.n); }

   447       return i;

   448     }

   449     OutEdgeIt& next(OutEdgeIt& i) const {

   450       graph->next(i.e);

   451       while (graph->valid(i) && !(*edge_filter_map)[i.e]) { graph->next(i.e); }

   452       return i;

   453     }

   454     InEdgeIt& next(InEdgeIt& i) const {

   455       graph->next(i.e);

   456       while (graph->valid(i) && !(*edge_filter_map)[i.e]) { graph->next(i.e); }

   457       return i;

   458     }

   459     EdgeIt& next(EdgeIt& i) const {

   460       graph->next(i.e);

   461       while (graph->valid(i) && !(*edge_filter_map)[i.e]) { graph->next(i.e); }

   462       return i;

   463     }

   465 //     template<typename I> I& next(I &i) const {

   466 //       graph->next(i);

   467 // //      while (graph->valid(i) && !filter_map-get(i)) { graph->next(i); }

   468 //       while (graph->valid(i) && !(*edge_filter_map)[i]) { graph->next(i); }

   469 //       return i;

   470 //     }

   472     Node aNode(const OutEdgeIt& e) const { return Node(graph->aNode(e.e)); }

   473     Node aNode(const InEdgeIt& e) const { return Node(graph->aNode(e.e)); }

   474     Node bNode(const OutEdgeIt& e) const { return Node(graph->bNode(e.e)); }

   475     Node bNode(const InEdgeIt& e) const { return Node(graph->bNode(e.e)); }

   477     void hide(const Node& n) const { node_filter_map->set(n, false); }

   478     void hide(const Edge& e) const { edge_filter_map->set(e, false); }

   480     void unHide(const Node& n) const { node_filter_map->set(n, true); }

   481     void unHide(const Edge& e) const { edge_filter_map->set(e, true); }

   483     bool hidden(const Node& n) const { return (*node_filter_map)[n]; }

   484     bool hidden(const Edge& e) const { return (*edge_filter_map)[e]; }

   486     template< typename It > It first() const {

   487       It e; this->first(e); return e; }

   489     template< typename It > It first(const Node& v) const {

   490       It e; this->first(e, v); return e; }

   491   };

   493 //   //Subgraph on the same node-set and partial edge-set

   494 //   template<typename Graph, typename NodeFilterMap,

   495 // 	   typename EdgeFilterMap>

   496 //   class SubGraphWrapper : public GraphWrapper<Graph> {

   497 //   protected:

   498 //     NodeFilterMap* node_filter_map;

   499 //     EdgeFilterMap* edge_filter_map;

   500 //   public:

   501 // //     SubGraphWrapper() : GraphWrapper<Graph>(), filter_map(0) { }

   502 //     SubGraphWrapper(Graph& _graph, NodeFilterMap& _node_filter_map,

   503 // 		    EdgeFilterMap& _edge_filter_map) :

   504 //       GraphWrapper<Graph>(_graph), node_filter_map(&_node_filter_map),

   505 //       edge_filter_map(&_edge_filter_map) { }

   508 //     typedef typename Graph::Node Node;

   509 //     class NodeIt : public Graph::NodeIt {

   510 // //      typedef typename Graph::NodeIt GraphNodeIt;

   511 //     public:

   512 //       NodeIt() { }

   513 //       NodeIt(const typename Graph::NodeIt& n) : Graph::NodeIt(n) { }

   514 //       NodeIt(const Invalid& i) : Graph::NodeIt(i) { }

   515 //       NodeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G) :

   516 // 	Graph::NodeIt(*(_G.graph)) {

   517 // 	while (_G.graph->valid((*this)/*.GraphNodeIt*/) &&

   518 // 	       !(*(_G.node_filter_map))[(*this)/*.GraphNodeIt*/])

   519 // 	  _G.graph->next((*this)/*.GraphNodeIt*/);

   520 //       }

   521 //     };

   522 //     typedef typename Graph::Edge Edge;

   523 //     class OutEdgeIt : public Graph::OutEdgeIt {

   524 // //      typedef typename Graph::OutEdgeIt GraphOutEdgeIt;

   525 //     public:

   526 //       OutEdgeIt() { }

   527 //       OutEdgeIt(const typename Graph::OutEdgeIt& e) : Graph::OutEdgeIt(e) { }

   528 //       OutEdgeIt(const Invalid& i) : Graph::OutEdgeIt(i) { }

   529 //       OutEdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>&

   530 // 		_G, const Node& n) :

   531 // 	Graph::OutEdgeIt(*(_G.graph), n) {

   532 // 	while (_G.graph->valid((*this)/*.GraphOutEdgeIt*/) &&

   533 // 	       !(*(_G.edge_filter_map))[(*this)/*.GraphOutEdgeIt*/])

   534 // 	  _G.graph->next((*this)/*.GraphOutEdgeIt*/);

   535 //       }

   536 //     };

   537 //     class InEdgeIt : public Graph::InEdgeIt {

   538 // //      typedef typename Graph::InEdgeIt GraphInEdgeIt;

   539 //     public:

   540 //       InEdgeIt() { }

   541 //       InEdgeIt(const typename Graph::InEdgeIt& e) : Graph::InEdgeIt(e) { }

   542 //       InEdgeIt(const Invalid& i) : Graph::InEdgeIt(i) { }

   543 //       InEdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G,

   544 // 	       const Node& n) :

   545 // 	Graph::InEdgeIt(*(_G.graph), n) {

   546 // 	while (_G.graph->valid((*this)/*.GraphInEdgeIt*/) &&

   547 // 	       !(*(_G.edge_filter_map))[(*this)/*.GraphInEdgeIt*/])

   548 // 	  _G.graph->next((*this)/*.GraphInEdgeIt*/);

   549 //       }

   550 //     };

   551 // //     //typedef typename Graph::SymEdgeIt SymEdgeIt;

   552 //     class EdgeIt : public Graph::EdgeIt {

   553 // //      typedef typename Graph::EdgeIt GraphEdgeIt;

   554 //     public:

   555 //       EdgeIt() { }

   556 //       EdgeIt(const typename Graph::EdgeIt& e) : Graph::EdgeIt(e) { }

   557 //       EdgeIt(const Invalid& i) : Graph::EdgeIt(i) { }

   558 //       EdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G) :

   559 // 	Graph::EdgeIt(*(_G.graph)) {

   560 // 	while (_G.graph->valid((*this)/*.GraphEdgeIt*/) &&

   561 // 	       !(*(_G.edge_filter_map))[(*this)/*.GraphEdgeIt*/])

   562 // 	  _G.graph->next((*this)/*.GraphEdgeIt*/);

   563 //       }

   564 //     };

   566 //     NodeIt& first(NodeIt& i) const {

   567 //       i=NodeIt(*this);

   568 //       return i;

   569 //     }

   570 //     OutEdgeIt& first(OutEdgeIt& i, const Node& n) const {

   571 //       i=OutEdgeIt(*this, n);

   572 //       return i;

   573 //     }

   574 //     InEdgeIt& first(InEdgeIt& i, const Node& n) const {

   575 //       i=InEdgeIt(*this, n);

   576 //       return i;

   577 //     }

   578 //     EdgeIt& first(EdgeIt& i) const {

   579 //       i=EdgeIt(*this);

   580 //       return i;

   581 //     }

   583 // //     template<typename I> I& first(I& i) const {

   584 // //       graph->first(i);

   585 // //       //while (graph->valid(i) && !filter_map->get(i)) { graph->next(i); }

   586 // //       while (graph->valid(i) && !(*edge_filter_map)[i]) { graph->next(i); }

   587 // //       return i;

   588 // //     }

   589 // //     template<typename I, typename P> I& first(I& i, const P& p) const {

   590 // //       graph->first(i, p);

   591 // // //      while (graph->valid(i) && !filter_map->get(i)) { graph->next(i); }

   592 // //       while (graph->valid(i) && !(*edge_filter_map)[i]) { graph->next(i); }

   593 // //       return i;

   594 // //     }

   596 //     NodeIt& next(NodeIt& i) const {

   597 //       graph->next(i);

   598 //       while (graph->valid(i) && !(*node_filter_map)[i]) { graph->next(i); }

   599 //       return i;

   600 //     }

   601 //     OutEdgeIt& next(OutEdgeIt& i) const {

   602 //       graph->next(i);

   603 //       while (graph->valid(i) && !(*edge_filter_map)[i]) { graph->next(i); }

   604 //       return i;

   605 //     }

   606 //     InEdgeIt& next(InEdgeIt& i) const {

   607 //       graph->next(i);

   608 //       while (graph->valid(i) && !(*edge_filter_map)[i]) { graph->next(i); }

   609 //       return i;

   610 //     }

   611 //     EdgeIt& next(EdgeIt& i) const {

   612 //       graph->next(i);

   613 //       while (graph->valid(i) && !(*edge_filter_map)[i]) { graph->next(i); }

   614 //       return i;

   615 //     }

   617 // //     template<typename I> I& next(I &i) const {

   618 // //       graph->next(i);

   619 // // //      while (graph->valid(i) && !filter_map-get(i)) { graph->next(i); }

   620 // //       while (graph->valid(i) && !(*edge_filter_map)[i]) { graph->next(i); }

   621 // //       return i;

   622 // //     }

   624 //     template< typename It > It first() const {

   625 //       It e; this->first(e); return e; }

   627 //     template< typename It > It first(const Node& v) const {

   628 //       It e; this->first(e, v); return e; }

   629 //   };

   631   template<typename Graph>

   632   class UndirGraphWrapper : public GraphWrapper<Graph> {

   633 //  protected:

   634 //    typedef typename Graph::Edge GraphEdge;

   635 //    typedef typename Graph::OutEdgeIt GraphOutEdgeIt;

   636 //    typedef typename Graph::InEdgeIt GraphInEdgeIt;

   637   public:

   638     typedef typename GraphWrapper<Graph>::Node Node;

   639     typedef typename GraphWrapper<Graph>::NodeIt NodeIt;

   640     typedef typename GraphWrapper<Graph>::Edge Edge;

   641     typedef typename GraphWrapper<Graph>::EdgeIt EdgeIt;

   643 //     UndirGraphWrapper() : GraphWrapper<Graph>() { }

   644     UndirGraphWrapper(Graph& _graph) : GraphWrapper<Graph>(_graph) { }

   647 //     class Edge {

   648 //       friend class UndirGraphWrapper<Graph>;

   649 //     protected:

   650 //       bool out_or_in; //true iff out

   651 //       GraphOutEdgeIt out;

   652 //       GraphInEdgeIt in;

   653 //     public:

   654 //       Edge() : out_or_in(), out(), in() { }

   655 //       Edge(const Invalid& i) : out_or_in(false), out(), in(i) { }

   656 //       operator GraphEdge() const {

   657 // 	if (out_or_in) return(out); else return(in);

   658 //       }

   659 // //FIXME

   660 // //2 edges are equal if they "refer" to the same physical edge

   661 // //is it good?

   662 //       friend bool operator==(const Edge& u, const Edge& v) {

   663 // 	if (v.out_or_in)

   664 // 	  if (u.out_or_in) return (u.out==v.out); else return (u.out==v.in);

   665 // 	//return (u.out_or_in && u.out==v.out);

   666 // 	else

   667 // 	  if (u.out_or_in) return (u.out==v.in); else return (u.in==v.in);

   668 // 	//return (!u.out_or_in && u.in==v.in);

   669 //       }

   670 //       friend bool operator!=(const Edge& u, const Edge& v) {

   671 // 	if (v.out_or_in)

   672 // 	  if (u.out_or_in) return (u.out!=v.out); else return (u.out!=v.in);

   673 // 	//return (!u.out_or_in || u.out!=v.out);

   674 // 	else

   675 // 	  if (u.out_or_in) return (u.out!=v.in); else return (u.in!=v.in);

   676 // 	//return (u.out_or_in || u.in!=v.in);

   677 //       }

   678 //     };

   680     class OutEdgeIt {

   681       friend class UndirGraphWrapper<Graph>;

   682       bool out_or_in; //true iff out

   683       typename Graph::OutEdgeIt out;

   684       typename Graph::InEdgeIt in;

   685     public:

   686       OutEdgeIt() { }

   687       OutEdgeIt(const Invalid& i) : Edge(i) { }

   688       OutEdgeIt(const UndirGraphWrapper<Graph>& _G, const Node& _n) {

   689 	out_or_in=true; _G.graph->first(out, _n);

   690 	if (!(_G.graph->valid(out))) { out_or_in=false; _G.graph->first(in, _n);	}

   691       }

   692       operator Edge() const {

   693 	if (out_or_in) return Edge(out); else return Edge(in);

   694       }

   695     };

   696 //     class OutEdgeIt : public Edge {

   697 //       friend class UndirGraphWrapper<Graph>;

   698 //     public:

   699 //       OutEdgeIt() : Edge() { }

   700 //       OutEdgeIt(const Invalid& i) : Edge(i) { }

   701 //       OutEdgeIt(const UndirGraphWrapper<Graph>& _G, const Node& n)

   702 // 	: Edge() {

   703 // 	out_or_in=true; _G.graph->first(out, n);

   704 // 	if (!(_G.graph->valid(out))) { out_or_in=false; _G.graph->first(in, n);	}

   705 //       }

   706 //     };

   708 //FIXME InEdgeIt

   709     typedef OutEdgeIt InEdgeIt;

   711 //     class EdgeIt : public Edge {

   712 //       friend class UndirGraphWrapper<Graph>;

   713 //     protected:

   714 //       NodeIt v;

   715 //     public:

   716 //       EdgeIt() : Edge() { }

   717 //       EdgeIt(const Invalid& i) : Edge(i) { }

   718 //       EdgeIt(const UndirGraphWrapper<Graph>& _G)

   719 // 	: Edge() {

   720 // 	out_or_in=true;

   721 // 	//Node v;

   722 // 	_G.first(v);

   723 // 	if (_G.valid(v)) _G.graph->first(out); else out=INVALID;

   724 // 	while (_G.valid(v) && !_G.graph->valid(out)) {

   725 // 	  _G.graph->next(v);

   726 // 	  if (_G.valid(v)) _G.graph->first(out);

   727 // 	}

   728 //       }

   729 //     };

   731     NodeIt& first(NodeIt& i) const {

   732       i=NodeIt(*this); return i;

   733     }

   734     OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {

   735       i=OutEdgeIt(*this, p); return i;

   736     }

   737 //FIXME

   738 //     InEdgeIt& first(InEdgeIt& i, const Node& p) const {

   739 //       i=InEdgeIt(*this, p); return i;

   740 //     }

   741     EdgeIt& first(EdgeIt& i) const {

   742       i=EdgeIt(*this); return i;

   743     }

   745     template<typename I> I& first(I& i) const { graph->first(i); return i; }

   746     template<typename I, typename P> I& first(I& i, const P& p) const {

   747       graph->first(i, p); return i; }

   749     NodeIt& next(NodeIt& n) const {

   750       GraphWrapper<Graph>::next(n);

   751       return n;

   752     }

   753     OutEdgeIt& next(OutEdgeIt& e) const {

   754       if (e.out_or_in) {

   755 	typename Graph::Node n=graph->tail(e.out);

   756 	graph->next(e.out);

   757 	if (!graph->valid(e.out)) { e.out_or_in=false; graph->first(e.in, n); }

   758       } else {

   759 	graph->next(e.in);

   760       }

   761       return e;

   762     }

   763     //FIXME InEdgeIt

   764     EdgeIt& next(EdgeIt& e) const {

   765       GraphWrapper<Graph>::next(n);

   766 //      graph->next(e.e);

   767       return e;

   768     }

   770 //    template<typename I> I& next(I &i) const { graph->next(i); return i; }

   771     template< typename It > It first() const {

   772       It e; this->first(e); return e; }

   774     template< typename It > It first(const Node& v) const {

   775       It e; this->first(e, v); return e; }

   777 //    Node head(const Edge& e) const { return gw.head(e); }

   778 //    Node tail(const Edge& e) const { return gw.tail(e); }

   780 //    template<typename I> bool valid(const I& i) const

   781 //      { return gw.valid(i); }

   783 //    int nodeNum() const { return gw.nodeNum(); }

   784 //    int edgeNum() const { return gw.edgeNum(); }

   786 //     template<typename I> Node aNode(const I& e) const {

   787 //       return graph->aNode(e); }

   788 //     template<typename I> Node bNode(const I& e) const {

   789 //       return graph->bNode(e); }

   791     Node aNode(const OutEdgeIt& e) const {

   792       if (e.out_or_in) return graph->tail(e); else return graph->head(e); }

   793     Node bNode(const OutEdgeIt& e) const {

   794       if (e.out_or_in) return graph->head(e); else return graph->tail(e); }

   796 //    Node addNode() const { return gw.addNode(); }

   798 // FIXME: ez igy nem jo, mert nem

   799 //    Edge addEdge(const Node& tail, const Node& head) const {

   800 //      return graph->addEdge(tail, head); }

   802 //    template<typename I> void erase(const I& i) const { gw.erase(i); }

   804 //    void clear() const { gw.clear(); }

   806 //     template<typename T> class NodeMap : public Graph::NodeMap<T> {

   807 //     public:

   808 //       NodeMap(const UndirGraphWrapper<Graph>& _G) :

   809 // 	Graph::NodeMap<T>(_G.gw) { }

   810 //       NodeMap(const UndirGraphWrapper<Graph>& _G, T a) :

   811 // 	Graph::NodeMap<T>(_G.gw, a) { }

   812 //     };

   814 //     template<typename T> class EdgeMap :

   815 //       public GraphWrapperSkeleton<Graph>::EdgeMap<T> {

   816 //     public:

   817 //       EdgeMap(const UndirGraphWrapper<Graph>& _G) :

   818 // 	GraphWrapperSkeleton<Graph>::EdgeMap<T>(_G.gw) { }

   819 //       EdgeMap(const UndirGraphWrapper<Graph>& _G, T a) :

   820 // 	Graph::EdgeMap<T>(_G.gw, a) { }

   821 //     };

   822    };

   828 //   template<typename Graph>

   829 //   class SymGraphWrapper

   830 //   {

   831 //     Graph* graph;

   833 //   public:

   834 //     typedef Graph ParentGraph;

   836 //     typedef typename Graph::Node Node;

   837 //     typedef typename Graph::Edge Edge;

   839 //     typedef typename Graph::NodeIt NodeIt;

   841 //     //FIXME tag-ekkel megcsinalni, hogy abbol csinaljon

   842 //     //iranyitatlant, ami van

   843 //     //mert csak 1 dolgot lehet be typedef-elni

   844 //     typedef typename Graph::OutEdgeIt SymEdgeIt;

   845 //     //typedef typename Graph::InEdgeIt SymEdgeIt;

   846 //     //typedef typename Graph::SymEdgeIt SymEdgeIt;

   847 //     typedef typename Graph::EdgeIt EdgeIt;

   849 //     int nodeNum() const { return graph->nodeNum(); }

   850 //     int edgeNum() const { return graph->edgeNum(); }

   852 //     template<typename I> I& first(I& i) const { return graph->first(i); }

   853 //     template<typename I, typename P> I& first(I& i, const P& p) const {

   854 //       return graph->first(i, p); }

   855 //     //template<typename I> I next(const I i); { return graph->goNext(i); }

   856 //     //template<typename I> I &goNext(I &i); { return graph->goNext(i); }

   858 //     template< typename It > It first() const {

   859 //       It e; first(e); return e; }

   861 //     template< typename It > It first(Node v) const {

   862 //       It e; first(e, v); return e; }

   864 //     Node head(const Edge& e) const { return graph->head(e); }

   865 //     Node tail(const Edge& e) const { return graph->tail(e); }

   867 //     template<typename I> Node aNode(const I& e) const {

   868 //       return graph->aNode(e); }

   869 //     template<typename I> Node bNode(const I& e) const {

   870 //       return graph->bNode(e); }

   872 //     //template<typename I> bool valid(const I i);

   873 //     //{ return graph->valid(i); }

   875 //     //template<typename I> void setInvalid(const I &i);

   876 //     //{ return graph->setInvalid(i); }

   878 //     Node addNode() { return graph->addNode(); }

   879 //     Edge addEdge(const Node& tail, const Node& head) {

   880 //       return graph->addEdge(tail, head); }

   882 //     template<typename I> void erase(const I& i) { graph->erase(i); }

   884 //     void clear() { graph->clear(); }

   886 //     template<typename T> class NodeMap : public Graph::NodeMap<T> { };

   887 //     template<typename T> class EdgeMap : public Graph::EdgeMap<T> { };

   889 //     void setGraph(Graph& _graph) { graph = &_graph; }

   890 //     Graph& getGraph() { return (*graph); }

   892 //     //SymGraphWrapper() : graph(0) { }

   893 //     SymGraphWrapper(Graph& _graph) : graph(&_graph) { }

   894 //   };

   899   template<typename Graph, typename Number,

   900 	   typename CapacityMap, typename FlowMap>

   901   class ResGraphWrapper : public GraphWrapper<Graph> {

   902   protected:

   903 //    typedef typename Graph::OutEdgeIt GraphOutEdgeIt;

   904 //    typedef typename Graph::InEdgeIt GraphInEdgeIt;

   905 //    typedef typename Graph::Edge GraphEdge;

   906     const CapacityMap* capacity;

   907     FlowMap* flow;

   908   public:

   910     ResGraphWrapper(Graph& _graph, const CapacityMap& _capacity,

   911 		    FlowMap& _flow) :

   912       GraphWrapper<Graph>(_graph), capacity(&_capacity), flow(&_flow) { }

   914     class Edge;

   915     class OutEdgeIt;

   916     friend class Edge;

   917     friend class OutEdgeIt;

   919     typedef typename GraphWrapper<Graph>::Node Node;

   920     typedef typename GraphWrapper<Graph>::NodeIt NodeIt;

   921     class Edge : public Graph::Edge {

   922       friend class ResGraphWrapper<Graph, Number, CapacityMap, FlowMap>;

   923     protected:

   924       bool forward; //true, iff forward

   925 //      typename Graph::Edge e;

   926     public:

   927       Edge() { }

   928       Edge(const typename Graph::Edge& _e, bool _forward) :

   929 	Graph::Edge(_e), forward(_forward) { }

   930       Edge(const Invalid& i) : Graph::Edge(i), forward(false) { }

   931 //the unique invalid iterator

   932       friend bool operator==(const Edge& u, const Edge& v) {

   933 	return (v.forward==u.forward &&

   934 		static_cast<typename Graph::Edge>(u)==

   935 		static_cast<typename Graph::Edge>(v));

   936       }

   937       friend bool operator!=(const Edge& u, const Edge& v) {

   938 	return (v.forward!=u.forward ||

   939 		static_cast<typename Graph::Edge>(u)!=

   940 		static_cast<typename Graph::Edge>(v));

   941       }

   942     };

   943 //     class Edge {

   944 //       friend class ResGraphWrapper<Graph, Number,lksd FlowMap, CapacityMap>;

   945 //     protected:

   946 //       bool out_or_in; //true, iff out

   947 //       GraphOutEdgeIt out;

   948 //       GraphInEdgeIt in;

   949 //     public:

   950 //       Edge() : out_or_in(true) { }

   951 //       Edge(const Invalid& i) : out_or_in(false), out(), in(i) { }

   952 // //       bool valid() const {

   953 // // 	return out_or_in && out.valid() || in.valid(); }

   954 //       friend bool operator==(const Edge& u, const Edge& v) {

   955 // 	if (v.out_or_in)

   956 // 	  return (u.out_or_in && u.out==v.out);

   957 // 	else

   958 // 	  return (!u.out_or_in && u.in==v.in);

   959 //       }

   960 //       friend bool operator!=(const Edge& u, const Edge& v) {

   961 // 	if (v.out_or_in)

   962 // 	  return (!u.out_or_in || u.out!=v.out);

   963 // 	else

   964 // 	  return (u.out_or_in || u.in!=v.in);

   965 //       }

   966 //       operator GraphEdge() const {

   967 // 	if (out_or_in) return(out); else return(in);

   968 //       }

   969 //     };

   970     class OutEdgeIt {

   971       friend class ResGraphWrapper<Graph, Number, CapacityMap, FlowMap>;

   972     protected:

   973       typename Graph::OutEdgeIt out;

   974       typename Graph::InEdgeIt in;

   975       bool forward;

   976     public:

   977       OutEdgeIt() { }

   978       //FIXME

   979 //      OutEdgeIt(const Edge& e) : Edge(e) { }

   980       OutEdgeIt(const Invalid& i) : out(i), in(i), forward(false) { }

   981 //the unique invalid iterator

   982       OutEdgeIt(const ResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& resG, Node v) {

   983 	forward=true;

   984 	resG.graph->first(out, v);

   985 	while( resG.graph->valid(out) && !(resG.resCap(*this)>0) ) { resG.graph->next(out); }

   986 	if (!resG.graph->valid(out)) {

   987 	  forward=false;

   988 	  resG.graph->first(in, v);

   989 	  while( resG.graph->valid(in) && !(resG.resCap(*this)>0) ) { resG.graph->next(in); }

   990 	}

   991       }

   992       operator Edge() const {

   993 //	Edge e;

   994 //	e.forward=this->forward;

   995 //	if (this->forward) e=out; else e=in;

   996 //	return e;

   997 	if (this->forward)

   998 	  return Edge(out, this->forward);

   999 	else

  1000 	  return Edge(in, this->forward);

  1001       }

  1002     };

  1003 //     class OutEdgeIt : public Edge {

  1004 //       friend class ResGraphWrapper<Graph, Number, FkklowMap, CapacityMap>;

  1005 //     public:

  1006 //       OutEdgeIt() { }

  1007 //       //FIXME

  1008 //       OutEdgeIt(const Edge& e) : Edge(e) { }

  1009 //       OutEdgeIt(const Invalid& i) : Edge(i) { }

  1010 //       OutEdgeIt(const ResGraphWrapper<Graph, Number, FdfvlowMap, CapacityMap>& resG, Node v) : Edge() {

  1011 // 	resG.graph->first(out, v);

  1012 // 	while( resG.graph->valid(out) && !(resG.resCap(out)>0) ) { resG.graph->next(out); }

  1013 // 	if (!resG.graph->valid(out)) {

  1014 // 	  out_or_in=0;

  1015 // 	  resG.graph->first(in, v);

  1016 // 	  while( resG.graph->valid(in) && !(resG.resCap(in)>0) ) { resG.graph->next(in); }

  1017 // 	}

  1018 //       }

  1019 //     public:

  1020 //       OutEdgeIt& operator++() {

  1021 // 	if (out_or_in) {

  1022 // 	  Node v=/*resG->*/G->aNode(out);

  1023 // 	  ++out;

  1024 // 	  while( out.valid() && !(Edge::resCap()>0) ) { ++out; }

  1025 // 	  if (!out.valid()) {

  1026 // 	    out_or_in=0;

  1027 // 	    G->first(in, v);

  1028 // 	    while( in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1029 // 	  }

  1030 // 	} else {

  1031 // 	  ++in;

  1032 // 	  while( in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1033 // 	}

  1034 // 	return *this;

  1035 //       }

  1036 //    };

  1038     //FIXME This is just for having InEdgeIt

  1039 //    class InEdgeIt : public Edge { };

  1041     class InEdgeIt {

  1042       friend class ResGraphWrapper<Graph, Number, CapacityMap, FlowMap>;

  1043     protected:

  1044       typename Graph::OutEdgeIt out;

  1045       typename Graph::InEdgeIt in;

  1046       bool forward;

  1047     public:

  1048       InEdgeIt() { }

  1049       //FIXME

  1050 //      OutEdgeIt(const Edge& e) : Edge(e) { }

  1051       InEdgeIt(const Invalid& i) : out(i), in(i), forward(false) { }

  1052 //the unique invalid iterator

  1053       InEdgeIt(const ResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& resG, Node v) {

  1054 	forward=true;

  1055 	resG.graph->first(in, v);

  1056 	while( resG.graph->valid(in) && !(resG.resCap(*this)>0) ) { resG.graph->next(in); }

  1057 	if (!resG.graph->valid(in)) {

  1058 	  forward=false;

  1059 	  resG.graph->first(out, v);

  1060 	  while( resG.graph->valid(out) && !(resG.resCap(*this)>0) ) { resG.graph->next(out); }

  1061 	}

  1062       }

  1063       operator Edge() const {

  1064 //	Edge e;

  1065 //	e.forward=this->forward;

  1066 //	if (this->forward) e=out; else e=in;

  1067 //	return e;

  1068 	if (this->forward)

  1069 	  return Edge(in, this->forward);

  1070 	else

  1071 	  return Edge(out, this->forward);

  1072       }

  1073     };

  1075     class EdgeIt {

  1076       friend class ResGraphWrapper<Graph, Number, CapacityMap, FlowMap>;

  1077     protected:

  1078       typename Graph::EdgeIt e;

  1079       bool forward;

  1080     public:

  1081       EdgeIt() { }

  1082       EdgeIt(const Invalid& i) : e(i), forward(false) { }

  1083       EdgeIt(const ResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& resG) {

  1084 	forward=true;

  1085 	resG.graph->first(e);

  1086 	while (resG.graph->valid(e) && !(resG.resCap(*this)>0)) resG.graph->next(e);

  1087 	if (!resG.graph->valid(e)) {

  1088 	  forward=false;

  1089 	  resG.graph->first(e);

  1090 	  while (resG.graph->valid(e) && !(resG.resCap(*this)>0)) resG.graph->next(e);

  1091 	}

  1092       }

  1093       operator Edge() const {

  1094 	return Edge(e, this->forward);

  1095       }

  1096     };

  1097 //     class EdgeIt : public Edge {

  1098 //       friend class ResGraphWrapper<Graph, Number, FflowMap, CapacityMap>;

  1099 //       NodeIt v;

  1100 //     public:

  1101 //       EdgeIt() { }

  1102 //       //EdgeIt(const EdgeIt& e) : Edge(e), v(e.v) { }

  1103 //       EdgeIt(const Invalid& i) : Edge(i) { }

  1104 //       EdgeIt(const ResGraphWrapper<Graph, Number, FlfowMap, CapacityMap>& resG) : Edge() {

  1105 // 	resG.graph->first(v);

  1106 // 	if (resG.graph->valid(v)) resG.graph->first(out, v); else out=INVALID;

  1107 // 	while (resG.graph->valid(out) && !(resG.resCap(out)>0) ) { resG.graph->next(out); }

  1108 // 	while (resG.graph->valid(v) && !resG.graph->valid(out)) {

  1109 // 	  resG.graph->next(v);

  1110 // 	  if (resG.graph->valid(v)) resG.graph->first(out, v);

  1111 // 	  while (resG.graph->valid(out) && !(resG.resCap(out)>0) ) { resG.graph->next(out); }

  1112 // 	}

  1113 // 	if (!resG.graph->valid(out)) {

  1114 // 	  out_or_in=0;

  1115 // 	  resG.graph->first(v);

  1116 // 	  if (resG.graph->valid(v)) resG.graph->first(in, v); else in=INVALID;

  1117 // 	  while (resG.graph->valid(in) && !(resG.resCap(in)>0) ) { resG.graph->next(in); }

  1118 // 	  while (resG.graph->valid(v) && !resG.graph->valid(in)) {

  1119 // 	    resG.graph->next(v);

  1120 // 	    if (resG.graph->valid(v)) resG.graph->first(in, v);

  1121 // 	    while (resG.graph->valid(in) && !(resG.resCap(in)>0) ) { resG.graph->next(in); }

  1122 // 	  }

  1123 // 	}

  1124 //       }

  1125 //       EdgeIt& operator++() {

  1126 // 	if (out_or_in) {

  1127 // 	  ++out;

  1128 // 	  while (out.valid() && !(Edge::resCap()>0) ) { ++out; }

  1129 // 	  while (v.valid() && !out.valid()) {

  1130 // 	    ++v;

  1131 // 	    if (v.valid()) G->first(out, v);

  1132 // 	    while (out.valid() && !(Edge::resCap()>0) ) { ++out; }

  1133 // 	  }

  1134 // 	  if (!out.valid()) {

  1135 // 	    out_or_in=0;

  1136 // 	    G->first(v);

  1137 // 	    if (v.valid()) G->first(in, v); else in=GraphInEdgeIt();

  1138 // 	    while (in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1139 // 	    while (v.valid() && !in.valid()) {

  1140 // 	      ++v;

  1141 // 	      if (v.valid()) G->first(in, v);

  1142 // 	      while (in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1143 // 	    }

  1144 // 	  }

  1145 // 	} else {

  1146 // 	  ++in;

  1147 // 	  while (in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1148 // 	  while (v.valid() && !in.valid()) {

  1149 // 	    ++v;

  1150 // 	    if (v.valid()) G->first(in, v);

  1151 // 	    while (in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1152 // 	  }

  1153 // 	}

  1154 // 	return *this;

  1155 //       }

  1156 //    };

  1158     NodeIt& first(NodeIt& i) const {

  1159       i=NodeIt(*this); return i;

  1160     }

  1161     OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {

  1162       i=OutEdgeIt(*this, p); return i;

  1163     }

  1164 //    FIXME not tested

  1165     InEdgeIt& first(InEdgeIt& i, const Node& p) const {

  1166       i=InEdgeIt(*this, p); return i;

  1167     }

  1168     EdgeIt& first(EdgeIt& i) const {

  1169       i=EdgeIt(*this); return i;

  1170     }

  1172     NodeIt& next(NodeIt& n) const { GraphWrapper<Graph>::next(n); return n; }

  1173     OutEdgeIt& next(OutEdgeIt& e) const {

  1174       if (e.forward) {

  1175 	Node v=graph->aNode(e.out);

  1176 	graph->next(e.out);

  1177 	while( graph->valid(e.out) && !(resCap(e)>0) ) { graph->next(e.out); }

  1178 	if (!graph->valid(e.out)) {

  1179 	  e.forward=false;

  1180 	  graph->first(e.in, v);

  1181 	  while( graph->valid(e.in) && !(resCap(e)>0) ) { graph->next(e.in); }

  1182 	}

  1183       } else {

  1184 	graph->next(e.in);

  1185 	while( graph->valid(e.in) && !(resCap(e)>0) ) { graph->next(e.in); }

  1186       }

  1187       return e;

  1188     }

  1189 //     FIXME Not tested

  1190     InEdgeIt& next(InEdgeIt& e) const {

  1191       if (e.forward) {

  1192 	Node v=graph->aNode(e.in);

  1193 	graph->next(e.in);

  1194 	while( graph->valid(e.in) && !(resCap(e)>0) ) { graph->next(e.in); }

  1195 	if (!graph->valid(e.in)) {

  1196 	  e.forward=false;

  1197 	  graph->first(e.out, v);

  1198 	  while( graph->valid(e.out) && !(resCap(e)>0) ) { graph->next(e.out); }

  1199 	}

  1200       } else {

  1201 	graph->next(e.out);

  1202 	while( graph->valid(e.out) && !(resCap(e)>0) ) { graph->next(e.out); }

  1203       }

  1204       return e;

  1205     }

  1206     EdgeIt& next(EdgeIt& e) const {

  1207       if (e.forward) {

  1208 	graph->next(e.e);

  1209 	while( graph->valid(e.e) && !(resCap(e)>0) ) { graph->next(e.e); }

  1210 	if (!graph->valid(e.e)) {

  1211 	  e.forward=false;

  1212 	  graph->first(e.e);

  1213 	  while( graph->valid(e.e) && !(resCap(e)>0) ) { graph->next(e.e); }

  1214 	}

  1215       } else {

  1216 	graph->next(e.e);

  1217 	while( graph->valid(e.e) && !(resCap(e)>0) ) { graph->next(e.e); }

  1218       }

  1219       return e;

  1220     }

  1221 //     EdgeIt& next(EdgeIt& e) const {

  1222 //       if (e.out_or_in) {

  1223 // 	graph->next(e.out);

  1224 // 	while (graph->valid(e.out) && !(resCap(e.out)>0) ) { graph->next(e.out); }

  1225 // 	  while (graph->valid(e.v) && !graph->valid(e.out)) {

  1226 // 	    graph->next(e.v);

  1227 // 	    if (graph->valid(e.v)) graph->first(e.out, e.v);

  1228 // 	    while (graph->valid(e.out) && !(resCap(e.out)>0) ) { graph->next(e.out); }

  1229 // 	  }

  1230 // 	  if (!graph->valid(e.out)) {

  1231 // 	    e.out_or_in=0;

  1232 // 	    graph->first(e.v);

  1233 // 	    if (graph->valid(e.v)) graph->first(e.in, e.v); else e.in=INVALID;

  1234 // 	    while (graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1235 // 	    while (graph->valid(e.v) && !graph->valid(e.in)) {

  1236 // 	      graph->next(e.v);

  1237 // 	      if (graph->valid(e.v)) graph->first(e.in, e.v);

  1238 // 	      while (graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1239 // 	    }

  1240 // 	  }

  1241 // 	} else {

  1242 // 	  graph->next(e.in);

  1243 // 	  while (graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1244 // 	  while (graph->valid(e.v) && !graph->valid(e.in)) {

  1245 // 	    graph->next(e.v);

  1246 // 	    if (graph->valid(e.v)) graph->first(e.in, e.v);

  1247 // 	    while (graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1248 // 	  }

  1249 // 	}

  1250 // 	return e;

  1251 //       }

  1254     template< typename It >

  1255     It first() const {

  1256       It e;

  1257       first(e);

  1258       return e;

  1259     }

  1261     template< typename It >

  1262     It first(Node v) const {

  1263       It e;

  1264       first(e, v);

  1265       return e;

  1266     }

  1268     Node tail(Edge e) const {

  1269       return ((e.forward) ? graph->tail(e) : graph->head(e)); }

  1270     Node head(Edge e) const {

  1271       return ((e.forward) ? graph->head(e) : graph->tail(e)); }

  1273     Node aNode(OutEdgeIt e) const {

  1274       return ((e.forward) ? graph->aNode(e.out) : graph->aNode(e.in)); }

  1275     Node bNode(OutEdgeIt e) const {

  1276       return ((e.forward) ? graph->bNode(e.out) : graph->bNode(e.in)); }

  1278     int nodeNum() const { return graph->nodeNum(); }

  1279     //FIXME

  1280     //int edgeNum() const { return graph->edgeNum(); }

  1283 //    int id(Node v) const { return graph->id(v); }

  1285     bool valid(Node n) const { return GraphWrapper<Graph>::valid(n); }

  1286     bool valid(Edge e) const {

  1287       return graph->valid(e);

  1288 	//return e.forward ? graph->valid(e.out) : graph->valid(e.in);

  1289     }

  1291     void augment(const Edge& e, Number a) const {

  1292       if (e.forward)

  1293 // 	flow->set(e.out, flow->get(e.out)+a);

  1294 	flow->set(e, (*flow)[e]+a);

  1295       else

  1296 // 	flow->set(e.in, flow->get(e.in)-a);

  1297 	flow->set(e, (*flow)[e]-a);

  1298     }

  1300     Number resCap(const Edge& e) const {

  1301       if (e.forward)

  1302 //	return (capacity->get(e.out)-flow->get(e.out));

  1303 	return ((*capacity)[e]-(*flow)[e]);

  1304       else

  1305 //	return (flow->get(e.in));

  1306 	return ((*flow)[e]);

  1307     }

  1309 //     Number resCap(typename Graph::OutEdgeIt out) const {

  1310 // //      return (capacity->get(out)-flow->get(out));

  1311 //       return ((*capacity)[out]-(*flow)[out]);

  1312 //     }

  1314 //     Number resCap(typename Graph::InEdgeIt in) const {

  1315 // //      return (flow->get(in));

  1316 //       return ((*flow)[in]);

  1317 //     }

  1319 //     template<typename T> class NodeMap : public Graph::NodeMap<T> {

  1320 //     public:

  1321 //       NodeMap(const ResGraphWrapper<Graph, Number, FlovwMap, CapacityMap>& _G)

  1322 // 	: Graph::NodeMap<T>(_G.gw) { }

  1323 //       NodeMap(const ResGraphWrapper<Graph, Number, FlowvMap, CapacityMap>& _G,

  1324 // 	      T a) : Graph::NodeMap<T>(_G.gw, a) { }

  1325 //     };

  1327 //     template <typename T>

  1328 //     class NodeMap {

  1329 //       typename Graph::NodeMap<T> node_map;

  1330 //     public:

  1331 //       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G) : node_map(*(_G.graph)) { }

  1332 //       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G, T a) : node_map(*(_G.graph), a) { }

  1333 //       void set(Node nit, T a) { node_map.set(nit, a); }

  1334 //       T get(Node nit) const { return node_map.get(nit); }

  1335 //     };

  1337     template <typename T>

  1338     class EdgeMap {

  1339       typename Graph::EdgeMap<T> forward_map, backward_map;

  1340     public:

  1341       EdgeMap(const ResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& _G) : forward_map(*(_G.graph)), backward_map(*(_G.graph)) { }

  1342       EdgeMap(const ResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& _G, T a) : forward_map(*(_G.graph), a), backward_map(*(_G.graph), a) { }

  1343       void set(Edge e, T a) {

  1344 	if (e.forward)

  1345 	  forward_map.set(e.out, a);

  1346 	else

  1347 	  backward_map.set(e.in, a);

  1348       }

  1349       T operator[](Edge e) const {

  1350 	if (e.forward)

  1351 	  return forward_map[e.out];

  1352 	else

  1353 	  return backward_map[e.in];

  1354       }

  1355 //       T get(Edge e) const {

  1356 // 	if (e.out_or_in)

  1357 // 	  return forward_map.get(e.out);

  1358 // 	else

  1359 // 	  return backward_map.get(e.in);

  1360 //       }

  1361     };

  1362   };

  1366 //   template<typename Graph, typename Number, typename FlowMap, typename CapacityMap>

  1367 //   class ResGraphWrapper : public GraphWrapper<Graph> {

  1368 //   protected:

  1369 //     typedef typename Graph::OutEdgeIt GraphOutEdgeIt;

  1370 //     typedef typename Graph::InEdgeIt GraphInEdgeIt;

  1371 //     typedef typename Graph::Edge GraphEdge;

  1372 //     FlowMap* flow;

  1373 //     const CapacityMap* capacity;

  1374 //   public:

  1376 //     ResGraphWrapper(Graph& _graph, FlowMap& _flow,

  1377 // 		    const CapacityMap& _capacity) :

  1378 //       GraphWrapper<Graph>(_graph), flow(&_flow), capacity(&_capacity) { }

  1380 //     class Edge;

  1381 //     class OutEdgeIt;

  1382 //     friend class Edge;

  1383 //     friend class OutEdgeIt;

  1385 //     typedef typename GraphWrapper<Graph>::Node Node;

  1386 //     typedef typename GraphWrapper<Graph>::NodeIt NodeIt;

  1387 //     class Edge {

  1388 //       friend class ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>;

  1389 //     protected:

  1390 //       bool out_or_in; //true, iff out

  1391 //       GraphOutEdgeIt out;

  1392 //       GraphInEdgeIt in;

  1393 //     public:

  1394 //       Edge() : out_or_in(true) { }

  1395 //       Edge(const Invalid& i) : out_or_in(false), out(), in(i) { }

  1396 // //       bool valid() const {

  1397 // // 	return out_or_in && out.valid() || in.valid(); }

  1398 //       friend bool operator==(const Edge& u, const Edge& v) {

  1399 // 	if (v.out_or_in)

  1400 // 	  return (u.out_or_in && u.out==v.out);

  1401 // 	else

  1402 // 	  return (!u.out_or_in && u.in==v.in);

  1403 //       }

  1404 //       friend bool operator!=(const Edge& u, const Edge& v) {

  1405 // 	if (v.out_or_in)

  1406 // 	  return (!u.out_or_in || u.out!=v.out);

  1407 // 	else

  1408 // 	  return (u.out_or_in || u.in!=v.in);

  1409 //       }

  1410 //       operator GraphEdge() const {

  1411 // 	if (out_or_in) return(out); else return(in);

  1412 //       }

  1413 //     };

  1414 //     class OutEdgeIt : public Edge {

  1415 //       friend class ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>;

  1416 //     public:

  1417 //       OutEdgeIt() { }

  1418 //       //FIXME

  1419 //       OutEdgeIt(const Edge& e) : Edge(e) { }

  1420 //       OutEdgeIt(const Invalid& i) : Edge(i) { }

  1421 //       OutEdgeIt(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& resG, Node v) : Edge() {

  1422 // 	resG.graph->first(out, v);

  1423 // 	while( resG.graph->valid(out) && !(resG.resCap(out)>0) ) { resG.graph->next(out); }

  1424 // 	if (!resG.graph->valid(out)) {

  1425 // 	  out_or_in=0;

  1426 // 	  resG.graph->first(in, v);

  1427 // 	  while( resG.graph->valid(in) && !(resG.resCap(in)>0) ) { resG.graph->next(in); }

  1428 // 	}

  1429 //       }

  1430 // //     public:

  1431 // //       OutEdgeIt& operator++() {

  1432 // // 	if (out_or_in) {

  1433 // // 	  Node v=/*resG->*/G->aNode(out);

  1434 // // 	  ++out;

  1435 // // 	  while( out.valid() && !(Edge::resCap()>0) ) { ++out; }

  1436 // // 	  if (!out.valid()) {

  1437 // // 	    out_or_in=0;

  1438 // // 	    G->first(in, v);

  1439 // // 	    while( in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1440 // // 	  }

  1441 // // 	} else {

  1442 // // 	  ++in;

  1443 // // 	  while( in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1444 // // 	}

  1445 // // 	return *this;

  1446 // //       }

  1447 //     };

  1449 //     //FIXME This is just for having InEdgeIt

  1450 // //    class InEdgeIt : public Edge { };

  1452 //     class EdgeIt : public Edge {

  1453 //       friend class ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>;

  1454 //       NodeIt v;

  1455 //     public:

  1456 //       EdgeIt() { }

  1457 //       //EdgeIt(const EdgeIt& e) : Edge(e), v(e.v) { }

  1458 //       EdgeIt(const Invalid& i) : Edge(i) { }

  1459 //       EdgeIt(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& resG) : Edge() {

  1460 // 	resG.graph->first(v);

  1461 // 	if (resG.graph->valid(v)) resG.graph->first(out, v); else out=INVALID;

  1462 // 	while (resG.graph->valid(out) && !(resG.resCap(out)>0) ) { resG.graph->next(out); }

  1463 // 	while (resG.graph->valid(v) && !resG.graph->valid(out)) {

  1464 // 	  resG.graph->next(v);

  1465 // 	  if (resG.graph->valid(v)) resG.graph->first(out, v);

  1466 // 	  while (resG.graph->valid(out) && !(resG.resCap(out)>0) ) { resG.graph->next(out); }

  1467 // 	}

  1468 // 	if (!resG.graph->valid(out)) {

  1469 // 	  out_or_in=0;

  1470 // 	  resG.graph->first(v);

  1471 // 	  if (resG.graph->valid(v)) resG.graph->first(in, v); else in=INVALID;

  1472 // 	  while (resG.graph->valid(in) && !(resG.resCap(in)>0) ) { resG.graph->next(in); }

  1473 // 	  while (resG.graph->valid(v) && !resG.graph->valid(in)) {

  1474 // 	    resG.graph->next(v);

  1475 // 	    if (resG.graph->valid(v)) resG.graph->first(in, v);

  1476 // 	    while (resG.graph->valid(in) && !(resG.resCap(in)>0) ) { resG.graph->next(in); }

  1477 // 	  }

  1478 // 	}

  1479 //       }

  1480 // //       EdgeIt& operator++() {

  1481 // // 	if (out_or_in) {

  1482 // // 	  ++out;

  1483 // // 	  while (out.valid() && !(Edge::resCap()>0) ) { ++out; }

  1484 // // 	  while (v.valid() && !out.valid()) {

  1485 // // 	    ++v;

  1486 // // 	    if (v.valid()) G->first(out, v);

  1487 // // 	    while (out.valid() && !(Edge::resCap()>0) ) { ++out; }

  1488 // // 	  }

  1489 // // 	  if (!out.valid()) {

  1490 // // 	    out_or_in=0;

  1491 // // 	    G->first(v);

  1492 // // 	    if (v.valid()) G->first(in, v); else in=GraphInEdgeIt();

  1493 // // 	    while (in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1494 // // 	    while (v.valid() && !in.valid()) {

  1495 // // 	      ++v;

  1496 // // 	      if (v.valid()) G->first(in, v);

  1497 // // 	      while (in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1498 // // 	    }

  1499 // // 	  }

  1500 // // 	} else {

  1501 // // 	  ++in;

  1502 // // 	  while (in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1503 // // 	  while (v.valid() && !in.valid()) {

  1504 // // 	    ++v;

  1505 // // 	    if (v.valid()) G->first(in, v);

  1506 // // 	    while (in.valid() && !(Edge::resCap()>0) ) { ++in; }

  1507 // // 	  }

  1508 // // 	}

  1509 // // 	return *this;

  1510 // //       }

  1511 //     };

  1513 //     NodeIt& first(NodeIt& i) const {

  1514 //       i=NodeIt(*this);

  1515 //       return i;

  1516 //     }

  1517 //     OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {

  1518 //       i=OutEdgeIt(*this, p);

  1519 //       return i;

  1520 //     }

  1521 //     //FIXME Not yet implemented

  1522 //     //InEdgeIt& first(InEdgeIt& i, const Node& p) const {

  1523 //     //i=InEdgeIt(*this, p);

  1524 //     //  return i;

  1525 //     //}

  1526 //     EdgeIt& first(EdgeIt& e) const {

  1527 //       e=EdgeIt(*this);

  1528 //       return e;

  1529 //     }

  1531 //     NodeIt& next(NodeIt& n) const { graph->next(n); return n; }

  1532 //     OutEdgeIt& next(OutEdgeIt& e) const {

  1533 //       if (e.out_or_in) {

  1534 // 	Node v=graph->aNode(e.out);

  1535 // 	graph->next(e.out);

  1536 // 	while( graph->valid(e.out) && !(resCap(e.out)>0) ) { graph->next(e.out); }

  1537 // 	if (!graph->valid(e.out)) {

  1538 // 	  e.out_or_in=0;

  1539 // 	  graph->first(e.in, v);

  1540 // 	  while( graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1541 // 	}

  1542 //       } else {

  1543 // 	graph->next(e.in);

  1544 // 	while( graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1545 //       }

  1546 //       return e;

  1547 //     }

  1548 //     //FIXME Not yet implemented

  1549 //     //InEdgeIt& next(InEdgeIt& e) const {

  1550 //     //  return e;

  1551 //     //}

  1552 //     EdgeIt& next(EdgeIt& e) const {

  1553 //       if (e.out_or_in) {

  1554 // 	graph->next(e.out);

  1555 // 	while (graph->valid(e.out) && !(resCap(e.out)>0) ) { graph->next(e.out); }

  1556 // 	  while (graph->valid(e.v) && !graph->valid(e.out)) {

  1557 // 	    graph->next(e.v);

  1558 // 	    if (graph->valid(e.v)) graph->first(e.out, e.v);

  1559 // 	    while (graph->valid(e.out) && !(resCap(e.out)>0) ) { graph->next(e.out); }

  1560 // 	  }

  1561 // 	  if (!graph->valid(e.out)) {

  1562 // 	    e.out_or_in=0;

  1563 // 	    graph->first(e.v);

  1564 // 	    if (graph->valid(e.v)) graph->first(e.in, e.v); else e.in=INVALID;

  1565 // 	    while (graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1566 // 	    while (graph->valid(e.v) && !graph->valid(e.in)) {

  1567 // 	      graph->next(e.v);

  1568 // 	      if (graph->valid(e.v)) graph->first(e.in, e.v);

  1569 // 	      while (graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1570 // 	    }

  1571 // 	  }

  1572 // 	} else {

  1573 // 	  graph->next(e.in);

  1574 // 	  while (graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1575 // 	  while (graph->valid(e.v) && !graph->valid(e.in)) {

  1576 // 	    graph->next(e.v);

  1577 // 	    if (graph->valid(e.v)) graph->first(e.in, e.v);

  1578 // 	    while (graph->valid(e.in) && !(resCap(e.in)>0) ) { graph->next(e.in); }

  1579 // 	  }

  1580 // 	}

  1581 // 	return e;

  1582 //       }

  1585 //     template< typename It >

  1586 //     It first() const {

  1587 //       It e;

  1588 //       first(e);

  1589 //       return e;

  1590 //     }

  1592 //     template< typename It >

  1593 //     It first(Node v) const {

  1594 //       It e;

  1595 //       first(e, v);

  1596 //       return e;

  1597 //     }

  1599 //     Node tail(Edge e) const {

  1600 //       return ((e.out_or_in) ? graph->aNode(e.out) : graph->aNode(e.in)); }

  1601 //     Node head(Edge e) const {

  1602 //       return ((e.out_or_in) ? graph->bNode(e.out) : graph->bNode(e.in)); }

  1604 //     Node aNode(OutEdgeIt e) const {

  1605 //       return ((e.out_or_in) ? graph->aNode(e.out) : graph->aNode(e.in)); }

  1606 //     Node bNode(OutEdgeIt e) const {

  1607 //       return ((e.out_or_in) ? graph->bNode(e.out) : graph->bNode(e.in)); }

  1609 //     int nodeNum() const { return graph->nodeNum(); }

  1610 //     //FIXME

  1611 //     //int edgeNum() const { return graph->edgeNum(); }

  1614 //     int id(Node v) const { return graph->id(v); }

  1616 //     bool valid(Node n) const { return graph->valid(n); }

  1617 //     bool valid(Edge e) const {

  1618 //       return e.out_or_in ? graph->valid(e.out) : graph->valid(e.in); }

  1620 //     void augment(const Edge& e, Number a) const {

  1621 //       if (e.out_or_in)

  1622 // // 	flow->set(e.out, flow->get(e.out)+a);

  1623 // 	flow->set(e.out, (*flow)[e.out]+a);

  1624 //       else

  1625 // // 	flow->set(e.in, flow->get(e.in)-a);

  1626 // 	flow->set(e.in, (*flow)[e.in]-a);

  1627 //     }

  1629 //     Number resCap(const Edge& e) const {

  1630 //       if (e.out_or_in)

  1631 // //	return (capacity->get(e.out)-flow->get(e.out));

  1632 // 	return ((*capacity)[e.out]-(*flow)[e.out]);

  1633 //       else

  1634 // //	return (flow->get(e.in));

  1635 // 	return ((*flow)[e.in]);

  1636 //     }

  1638 //     Number resCap(GraphOutEdgeIt out) const {

  1639 // //      return (capacity->get(out)-flow->get(out));

  1640 //       return ((*capacity)[out]-(*flow)[out]);

  1641 //     }

  1643 //     Number resCap(GraphInEdgeIt in) const {

  1644 // //      return (flow->get(in));

  1645 //       return ((*flow)[in]);

  1646 //     }

  1648 // //     template<typename T> class NodeMap : public Graph::NodeMap<T> {

  1649 // //     public:

  1650 // //       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G)

  1651 // // 	: Graph::NodeMap<T>(_G.gw) { }

  1652 // //       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G,

  1653 // // 	      T a) : Graph::NodeMap<T>(_G.gw, a) { }

  1654 // //     };

  1656 // //     template <typename T>

  1657 // //     class NodeMap {

  1658 // //       typename Graph::NodeMap<T> node_map;

  1659 // //     public:

  1660 // //       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G) : node_map(*(_G.graph)) { }

  1661 // //       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G, T a) : node_map(*(_G.graph), a) { }

  1662 // //       void set(Node nit, T a) { node_map.set(nit, a); }

  1663 // //       T get(Node nit) const { return node_map.get(nit); }

  1664 // //     };

  1666 //     template <typename T>

  1667 //     class EdgeMap {

  1668 //       typename Graph::EdgeMap<T> forward_map, backward_map;

  1669 //     public:

  1670 //       EdgeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G) : forward_map(*(_G.graph)), backward_map(*(_G.graph)) { }

  1671 //       EdgeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G, T a) : forward_map(*(_G.graph), a), backward_map(*(_G.graph), a) { }

  1672 //       void set(Edge e, T a) {

  1673 // 	if (e.out_or_in)

  1674 // 	  forward_map.set(e.out, a);

  1675 // 	else

  1676 // 	  backward_map.set(e.in, a);

  1677 //       }

  1678 //       T operator[](Edge e) const {

  1679 // 	if (e.out_or_in)

  1680 // 	  return forward_map[e.out];

  1681 // 	else

  1682 // 	  return backward_map[e.in];

  1683 //       }

  1684 // //       T get(Edge e) const {

  1685 // // 	if (e.out_or_in)

  1686 // // 	  return forward_map.get(e.out);

  1687 // // 	else

  1688 // // 	  return backward_map.get(e.in);

  1689 // //       }

  1690 //     };

  1691 //   };

  1694   //ErasingFirstGraphWrapper for blocking flows

  1695   template<typename Graph, typename FirstOutEdgesMap>

  1696   class ErasingFirstGraphWrapper : public GraphWrapper<Graph> {

  1697   protected:

  1698     FirstOutEdgesMap* first_out_edges;

  1699   public:

  1700     ErasingFirstGraphWrapper(Graph& _graph,

  1701 			     FirstOutEdgesMap& _first_out_edges) :

  1702       GraphWrapper<Graph>(_graph), first_out_edges(&_first_out_edges) { }

  1704     typedef typename GraphWrapper<Graph>::Node Node;

  1705     class NodeIt {

  1706       friend class GraphWrapper<Graph>;

  1707       friend class ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>;

  1708       typename Graph::NodeIt n;

  1709      public:

  1710       NodeIt() { }

  1711       NodeIt(const typename Graph::NodeIt& _n) : n(_n) { }

  1712       NodeIt(const Invalid& i) : n(i) { }

  1713       NodeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G) :

  1714 	n(*(_G.graph)) { }

  1715       operator Node() const { return Node(typename Graph::Node(n)); }

  1716     };

  1717     typedef typename GraphWrapper<Graph>::Edge Edge;

  1718     class OutEdgeIt {

  1719       friend class GraphWrapper<Graph>;

  1720       friend class ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>;

  1721 //      typedef typename Graph::OutEdgeIt GraphOutEdgeIt;

  1722       typename Graph::OutEdgeIt e;

  1723     public:

  1724       OutEdgeIt() { }

  1725       OutEdgeIt(const typename Graph::OutEdgeIt& _e) : e(_e) { }

  1726       OutEdgeIt(const Invalid& i) : e(i) { }

  1727       OutEdgeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G,

  1728 		const Node& _n) :

  1729 	e((*_G.first_out_edges)[_n]) { }

  1730       operator Edge() const { return Edge(typename Graph::Edge(e)); }

  1731     };

  1732     class InEdgeIt {

  1733       friend class GraphWrapper<Graph>;

  1734       friend class ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>;

  1735 //      typedef typename Graph::InEdgeIt GraphInEdgeIt;

  1736       typename Graph::InEdgeIt e;

  1737     public:

  1738       InEdgeIt() { }

  1739       InEdgeIt(const typename Graph::InEdgeIt& _e) : e(_e) { }

  1740       InEdgeIt(const Invalid& i) : e(i) { }

  1741       InEdgeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G,

  1742 	       const Node& _n) :

  1743 	e(*(_G.graph), typename Graph::Node(_n)) { }

  1744       operator Edge() const { return Edge(typename Graph::Edge(e)); }

  1745     };

  1746     //typedef typename Graph::SymEdgeIt SymEdgeIt;

  1747     class EdgeIt {

  1748       friend class GraphWrapper<Graph>;

  1749       friend class ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>;

  1750 //      typedef typename Graph::EdgeIt GraphEdgeIt;

  1751       typename Graph::EdgeIt e;

  1752     public:

  1753       EdgeIt() { }

  1754       EdgeIt(const typename Graph::EdgeIt& _e) : e(_e) { }

  1755       EdgeIt(const Invalid& i) : e(i) { }

  1756       EdgeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G) :

  1757 	e(*(_G.graph)) { }

  1758       operator Edge() const { return Edge(typename Graph::Edge(e)); }

  1759     };

  1761     NodeIt& first(NodeIt& i) const {

  1762       i=NodeIt(*this); return i;

  1763     }

  1764     OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {

  1765       i=OutEdgeIt(*this, p); return i;

  1766     }

  1767     InEdgeIt& first(InEdgeIt& i, const Node& p) const {

  1768       i=InEdgeIt(*this, p); return i;

  1769     }

  1770     EdgeIt& first(EdgeIt& i) const {

  1771       i=EdgeIt(*this); return i;

  1772     }

  1774 //     template<typename I> I& first(I& i) const {

  1775 //       graph->first(i);

  1776 //       return i;

  1777 //     }

  1778 //     OutEdgeIt& first(OutEdgeIt& e, const Node& n) const {

  1779 // //      e=first_out_edges->get(n);

  1780 //       e=(*first_out_edges)[n];

  1781 //       return e;

  1782 //     }

  1783 //     template<typename I, typename P> I& first(I& i, const P& p) const {

  1784 //       graph->first(i, p);

  1785 //       return i;

  1786 //     }

  1788     NodeIt& next(NodeIt& i) const { graph->next(i.n); return i; }

  1789     OutEdgeIt& next(OutEdgeIt& i) const { graph->next(i.e); return i; }

  1790     InEdgeIt& next(InEdgeIt& i) const { graph->next(i.e); return i; }

  1791     EdgeIt& next(EdgeIt& i) const { graph->next(i.e); return i; }

  1793     Node aNode(const OutEdgeIt& e) const { return Node(graph->aNode(e.e)); }

  1794     Node aNode(const InEdgeIt& e) const { return Node(graph->aNode(e.e)); }

  1795     Node bNode(const OutEdgeIt& e) const { return Node(graph->bNode(e.e)); }

  1796     Node bNode(const InEdgeIt& e) const { return Node(graph->bNode(e.e)); }

  1798 //     template<typename I> I& next(I &i) const {

  1799 //       graph->next(i);

  1800 //       return i;

  1801 //     }

  1803     template< typename It > It first() const {

  1804       It e; this->first(e); return e; }

  1806     template< typename It > It first(const Node& v) const {

  1807       It e; this->first(e, v); return e; }

  1809     void erase(const OutEdgeIt& e) const {

  1810       OutEdgeIt f=e;

  1811       this->next(f);

  1812       first_out_edges->set(this->tail(e), f.e);

  1813     }

  1814   };

  1816 //   //ErasingFirstGraphWrapper for blocking flows

  1817 //   template<typename Graph, typename FirstOutEdgesMap>

  1818 //   class ErasingFirstGraphWrapper : public GraphWrapper<Graph> {

  1819 //   protected:

  1820 //     FirstOutEdgesMap* first_out_edges;

  1821 //   public:

  1822 //     ErasingFirstGraphWrapper(Graph& _graph,

  1823 // 			     FirstOutEdgesMap& _first_out_edges) :

  1824 //       GraphWrapper<Graph>(_graph), first_out_edges(&_first_out_edges) { }

  1826 //     typedef typename Graph::Node Node;

  1827 //     class NodeIt : public Graph::NodeIt {

  1828 //     public:

  1829 //       NodeIt() { }

  1830 //       NodeIt(const typename Graph::NodeIt& n) : Graph::NodeIt(n) { }

  1831 //       NodeIt(const Invalid& i) : Graph::NodeIt(i) { }

  1832 //       NodeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G) :

  1833 // 	Graph::NodeIt(*(_G.graph)) { }

  1834 //     };

  1835 //     typedef typename Graph::Edge Edge;

  1836 //     class OutEdgeIt : public Graph::OutEdgeIt {

  1837 //     public:

  1838 //       OutEdgeIt() { }

  1839 //       OutEdgeIt(const typename Graph::OutEdgeIt& e) : Graph::OutEdgeIt(e) { }

  1840 //       OutEdgeIt(const Invalid& i) : Graph::OutEdgeIt(i) { }

  1841 //       OutEdgeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G,

  1842 // 		const Node& n) :

  1843 // 	Graph::OutEdgeIt((*_G.first_out_edges)[n]) { }

  1844 //     };

  1845 //     class InEdgeIt : public Graph::InEdgeIt {

  1846 //     public:

  1847 //       InEdgeIt() { }

  1848 //       InEdgeIt(const typename Graph::InEdgeIt& e) : Graph::InEdgeIt(e) { }

  1849 //       InEdgeIt(const Invalid& i) : Graph::InEdgeIt(i) { }

  1850 //       InEdgeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G,

  1851 // 	       const Node& n) :

  1852 // 	Graph::InEdgeIt(*(_G.graph), n) { }

  1853 //     };

  1854 //     //typedef typename Graph::SymEdgeIt SymEdgeIt;

  1855 //     class EdgeIt : public Graph::EdgeIt {

  1856 //     public:

  1857 //       EdgeIt() { }

  1858 //       EdgeIt(const typename Graph::EdgeIt& e) : Graph::EdgeIt(e) { }

  1859 //       EdgeIt(const Invalid& i) : Graph::EdgeIt(i) { }

  1860 //       EdgeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G) :

  1861 // 	Graph::EdgeIt(*(_G.graph)) { }

  1862 //     };

  1864 //     NodeIt& first(NodeIt& i) const {

  1865 //       i=NodeIt(*this);

  1866 //       return i;

  1867 //     }

  1868 //     OutEdgeIt& first(OutEdgeIt& i, const Node& n) const {

  1869 //       i=OutEdgeIt(*this, n);

  1870 // //      i=(*first_out_edges)[n];

  1871 //       return i;

  1872 //     }

  1873 //     InEdgeIt& first(InEdgeIt& i, const Node& n) const {

  1874 //       i=InEdgeIt(*this, n);

  1875 //       return i;

  1876 //     }

  1877 //     EdgeIt& first(EdgeIt& i) const {

  1878 //       i=EdgeIt(*this);

  1879 //       return i;

  1880 //     }

  1882 // //     template<typename I> I& first(I& i) const {

  1883 // //       graph->first(i);

  1884 // //       return i;

  1885 // //     }

  1886 // //     OutEdgeIt& first(OutEdgeIt& e, const Node& n) const {

  1887 // // //      e=first_out_edges->get(n);

  1888 // //       e=(*first_out_edges)[n];

  1889 // //       return e;

  1890 // //     }

  1891 // //     template<typename I, typename P> I& first(I& i, const P& p) const {

  1892 // //       graph->first(i, p);

  1893 // //       return i;

  1894 // //     }

  1896 //     NodeIt& next(NodeIt& i) const {

  1897 //       graph->next(i);

  1898 //       return i;

  1899 //     }

  1900 //     OutEdgeIt& next(OutEdgeIt& i) const {

  1901 //       graph->next(i);

  1902 //       return i;

  1903 //     }

  1904 //     InEdgeIt& next(InEdgeIt& i) const {

  1905 //       graph->next(i);

  1906 //       return i;

  1907 //     }

  1908 //     EdgeIt& next(EdgeIt& i) const {

  1909 //       graph->next(i);

  1910 //       return i;

  1911 //     }

  1913 // //     template<typename I> I& next(I &i) const {

  1914 // //       graph->next(i);

  1915 // //       return i;

  1916 // //     }

  1918 //     template< typename It > It first() const {

  1919 //       It e; this->first(e); return e; }

  1921 //     template< typename It > It first(const Node& v) const {

  1922 //       It e; this->first(e, v); return e; }

  1924 //     void erase(const OutEdgeIt& e) const {

  1925 //       OutEdgeIt f=e;

  1926 //       this->next(f);

  1927 //       first_out_edges->set(this->tail(e), f);

  1928 //     }

  1929 //   };

  1932 // // FIXME: comparison should be made better!!!

  1933 //   template<typename Graph, typename T, typename LowerMap, typename FlowMap, typename UpperMap>

  1934 //   class ResGraphWrapper

  1935 //   {

  1936 //     Graph* graph;

  1938 //   public:

  1939 //     typedef Graph ParentGraph;

  1941 //     typedef typename Graph::Node Node;

  1942 //     typedef typename Graph::Edge Edge;

  1944 //     typedef typename Graph::NodeIt NodeIt;

  1946 //     class OutEdgeIt {

  1947 //     public:

  1948 //       //Graph::Node n;

  1949 //       bool out_or_in;

  1950 //       typename Graph::OutEdgeIt o;

  1951 //       typename Graph::InEdgeIt i;

  1952 //     };

  1953 //     class InEdgeIt {

  1954 //     public:

  1955 //       //Graph::Node n;

  1956 //       bool out_or_in;

  1957 //       typename Graph::OutEdgeIt o;

  1958 //       typename Graph::InEdgeIt i;

  1959 //     };

  1960 //     typedef typename Graph::SymEdgeIt SymEdgeIt;

  1961 //     typedef typename Graph::EdgeIt EdgeIt;

  1963 //     int nodeNum() const { return gw.nodeNum(); }

  1964 //     int edgeNum() const { return gw.edgeNum(); }

  1966 //     Node& first(Node& n) const { return gw.first(n); }

  1968 //     // Edge and SymEdge  is missing!!!!

  1969 //     // Edge <-> In/OutEdgeIt conversion is missing!!!!

  1971 //     //FIXME

  1972 //     OutEdgeIt& first(OutEdgeIt& e, const Node& n) const

  1973 //       {

  1974 // 	e.n=n;

  1975 // 	gw.first(e.o,n);

  1976 // 	while(gw.valid(e.o) && fmap.get(e.o)>=himap.get(e.o))

  1977 // 	  gw.goNext(e.o);

  1978 // 	if(!gw.valid(e.o)) {

  1979 // 	  gw.first(e.i,n);

  1980 // 	  while(gw.valid(e.i) && fmap.get(e.i)<=lomap.get(e.i))

  1981 // 	    gw.goNext(e.i);

  1982 // 	}

  1983 // 	return e;

  1984 //       }

  1985 // /*

  1986 //   OutEdgeIt &goNext(OutEdgeIt &e)

  1987 //   {

  1988 //   if(gw.valid(e.o)) {

  1989 //   while(gw.valid(e.o) && fmap.get(e.o)>=himap.get(e.o))

  1990 //   gw.goNext(e.o);

  1991 //   if(gw.valid(e.o)) return e;

  1992 //   else gw.first(e.i,e.n);

  1993 //   }

  1994 //   else {

  1995 //   while(gw.valid(e.i) && fmap.get(e.i)<=lomap.get(e.i))

  1996 //   gw.goNext(e.i);

  1997 //   return e;

  1998 //   }

  1999 //   }

  2000 //   OutEdgeIt Next(const OutEdgeIt &e) {OutEdgeIt t(e); return goNext(t);}

  2001 // */

  2002 //     //bool valid(const OutEdgeIt e) { return gw.valid(e.o)||gw.valid(e.i);}

  2004 //     //FIXME

  2005 //     InEdgeIt& first(InEdgeIt& e, const Node& n) const

  2006 //       {

  2007 // 	e.n=n;

  2008 // 	gw.first(e.i,n);

  2009 // 	while(gw.valid(e.i) && fmap.get(e.i)>=himap.get(e.i))

  2010 // 	  gw.goNext(e.i);

  2011 // 	if(!gw.valid(e.i)) {

  2012 // 	  gw.first(e.o,n);

  2013 // 	  while(gw.valid(e.o) && fmap.get(e.o)<=lomap.get(e.o))

  2014 // 	    gw.goNext(e.o);

  2015 // 	}

  2016 // 	return e;

  2017 //       }

  2018 // /*

  2019 //   InEdgeIt &goNext(InEdgeIt &e)

  2020 //   {

  2021 //   if(gw.valid(e.i)) {

  2022 //   while(gw.valid(e.i) && fmap.get(e.i)>=himap.get(e.i))

  2023 //   gw.goNext(e.i);

  2024 //   if(gw.valid(e.i)) return e;

  2025 //   else gw.first(e.o,e.n);

  2026 //   }

  2027 //   else {

  2028 //   while(gw.valid(e.o) && fmap.get(e.o)<=lomap.get(e.o))

  2029 //   gw.goNext(e.o);

  2030 //   return e;

  2031 //   }

  2032 //   }

  2033 //   InEdgeIt Next(const InEdgeIt &e) {InEdgeIt t(e); return goNext(t);}

  2034 // */

  2035 //     //bool valid(const InEdgeIt e) { return gw.valid(e.i)||gw.valid(e.o);}

  2037 //     //template<typename I> I &goNext(I &i); { return gw.goNext(i); }

  2038 //     //template<typename I> I next(const I i); { return gw.goNext(i); }

  2040 //     template< typename It > It first() const {

  2041 //       It e; first(e); return e; }

  2043 //     template< typename It > It first(Node v) const {

  2044 //       It e; first(e, v); return e; }

  2046 //     Node head(const Edge& e) const { return gw.head(e); }

  2047 //     Node tail(const Edge& e) const { return gw.tail(e); }

  2049 //     template<typename I> Node aNode(const I& e) const {

  2050 //       return gw.aNode(e); }

  2051 //     template<typename I> Node bNode(const I& e) const {

  2052 //       return gw.bNode(e); }

  2054 //     //template<typename I> bool valid(const I i);

  2055 //     //{ return gw.valid(i); }

  2057 //     //template<typename I> void setInvalid(const I &i);

  2058 //     //{ return gw.setInvalid(i); }

  2060 //     Node addNode() { return gw.addNode(); }

  2061 //     Edge addEdge(const Node& tail, const Node& head) {

  2062 //       return gw.addEdge(tail, head); }

  2064 //     template<typename I> void erase(const I& i) { gw.erase(i); }

  2066 //     void clear() { gw.clear(); }

  2068 //     template<typename S> class NodeMap : public Graph::NodeMap<S> { };

  2069 //     template<typename S> class EdgeMap : public Graph::EdgeMap<S> { };

  2071 //     void setGraph(Graph& _graph) { graph = &_graph; }

  2072 //     Graph& getGraph() { return (*graph); }

  2074 //     //ResGraphWrapper() : graph(0) { }

  2075 //     ResGraphWrapper(Graph& _graph) : graph(&_graph) { }

  2076 //   };

  2078 } //namespace hugo

  2080 #endif //HUGO_GRAPH_WRAPPER_H

author	marci
	Thu, 15 Apr 2004 19:01:00 +0000
changeset 332	5dc61ba30730
parent 323	58bc28afea63
child 335	999eb3cd7b49
permissions	-rw-r--r--