marci@174: // -*- c++ -*-
marci@259: #ifndef HUGO_GRAPH_WRAPPER_H
marci@259: #define HUGO_GRAPH_WRAPPER_H
marci@76: 
marci@174: #include <invalid.h>
marci@174: 
alpar@105: namespace hugo {
marci@76: 
marci@76:   template<typename Graph>
marci@76:   class TrivGraphWrapper {
marci@199:   protected:
marci@76:     Graph* graph;
marci@76:   
marci@76:   public:
marci@76:     typedef Graph BaseGraph;
marci@76: 
marci@174:     typedef typename Graph::Node Node;
marci@76:     typedef typename Graph::NodeIt NodeIt;
marci@76: 
marci@174:     typedef typename Graph::Edge Edge;
marci@76:     typedef typename Graph::OutEdgeIt OutEdgeIt;
marci@76:     typedef typename Graph::InEdgeIt InEdgeIt;
marci@155:     //typedef typename Graph::SymEdgeIt SymEdgeIt;
marci@174:     typedef typename Graph::EdgeIt EdgeIt;
marci@168: 
marci@168:     //TrivGraphWrapper() : graph(0) { }
marci@168:     TrivGraphWrapper(Graph& _graph) : graph(&_graph) { }
marci@168: 
marci@168:     void setGraph(Graph& _graph) { graph = &_graph; }
marci@168:     Graph& getGraph() const { return (*graph); }
marci@76:     
marci@212:     template<typename I> I& first(I& i) const { return graph->first(i); }
marci@212:     template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@212:       return graph->first(i, p); }
marci@155:     
marci@155:     template<typename I> I getNext(const I& i) const { 
marci@155:       return graph->getNext(i); }
marci@155:     template<typename I> I& next(I &i) const { return graph->next(i); }    
marci@76: 
marci@76:     template< typename It > It first() const { 
marci@212:       It e; first(e); return e; }
marci@76: 
marci@174:     template< typename It > It first(const Node& v) const { 
marci@212:       It e; first(e, v); return e; }
marci@76: 
marci@174:     Node head(const Edge& e) const { return graph->head(e); }
marci@174:     Node tail(const Edge& e) const { return graph->tail(e); }
marci@155: 
marci@155:     template<typename I> bool valid(const I& i) const 
marci@155:       { return graph->valid(i); }
marci@155:   
marci@155:     //template<typename I> void setInvalid(const I &i);
marci@155:     //{ return graph->setInvalid(i); }
marci@155: 
marci@155:     int nodeNum() const { return graph->nodeNum(); }
marci@155:     int edgeNum() const { return graph->edgeNum(); }
marci@76:   
marci@174:     template<typename I> Node aNode(const I& e) const { 
marci@76:       return graph->aNode(e); }
marci@174:     template<typename I> Node bNode(const I& e) const { 
marci@76:       return graph->bNode(e); }
marci@76:   
marci@174:     Node addNode() const { return graph->addNode(); }
marci@174:     Edge addEdge(const Node& tail, const Node& head) const { 
marci@76:       return graph->addEdge(tail, head); }
marci@76:   
marci@76:     template<typename I> void erase(const I& i) const { graph->erase(i); }
marci@76:   
marci@76:     void clear() const { graph->clear(); }
marci@155:     
marci@76:     template<typename T> class NodeMap : public Graph::NodeMap<T> { 
marci@76:     public:
marci@155:       NodeMap(const TrivGraphWrapper<Graph>& _G) : 
marci@158: 	Graph::NodeMap<T>(_G.getGraph()) { }
marci@155:       NodeMap(const TrivGraphWrapper<Graph>& _G, T a) : 
marci@158: 	Graph::NodeMap<T>(_G.getGraph(), a) { }
marci@76:     };
marci@168: 
marci@155:     template<typename T> class EdgeMap : public Graph::EdgeMap<T> { 
marci@155:     public:
marci@155:       EdgeMap(const TrivGraphWrapper<Graph>& _G) : 
marci@158: 	Graph::EdgeMap<T>(_G.getGraph()) { }
marci@155:       EdgeMap(const TrivGraphWrapper<Graph>& _G, T a) : 
marci@158: 	Graph::EdgeMap<T>(_G.getGraph(), a) { }
marci@155:     };
marci@76:   };
marci@76: 
marci@212:   template<typename GraphWrapper>
marci@212:   class GraphWrapperSkeleton {
marci@212:   protected:
marci@212:     GraphWrapper gw;
marci@212:   
marci@212:   public:
marci@263:     //typedef typename GraphWrapper::BaseGraph BaseGraph;
marci@212: 
marci@212:     typedef typename GraphWrapper::Node Node;
marci@212:     typedef typename GraphWrapper::NodeIt NodeIt;
marci@212: 
marci@212:     typedef typename GraphWrapper::Edge Edge;
marci@212:     typedef typename GraphWrapper::OutEdgeIt OutEdgeIt;
marci@212:     typedef typename GraphWrapper::InEdgeIt InEdgeIt;
marci@212:     //typedef typename GraphWrapper::SymEdgeIt SymEdgeIt;
marci@212:     typedef typename GraphWrapper::EdgeIt EdgeIt;
marci@212: 
marci@212:     //GraphWrapperSkeleton() : gw() { }
marci@230:     GraphWrapperSkeleton(GraphWrapper _gw) : gw(_gw) { }
marci@212: 
marci@263:     //void setGraph(BaseGraph& _graph) { gw.setGraph(_graph); }
marci@263:     //BaseGraph& getGraph() const { return gw.getGraph(); }
marci@212:     
marci@212:     template<typename I> I& first(I& i) const { return gw.first(i); }
marci@212:     template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@212:       return gw.first(i, p); }
marci@212:     
marci@212:     template<typename I> I getNext(const I& i) const { return gw.getNext(i); }
marci@212:     template<typename I> I& next(I &i) const { return gw.next(i); }    
marci@212: 
marci@212:     template< typename It > It first() const { 
marci@212:       It e; this->first(e); return e; }
marci@212: 
marci@212:     template< typename It > It first(const Node& v) const { 
marci@212:       It e; this->first(e, v); return e; }
marci@212: 
marci@212:     Node head(const Edge& e) const { return gw.head(e); }
marci@212:     Node tail(const Edge& e) const { return gw.tail(e); }
marci@212: 
marci@212:     template<typename I> bool valid(const I& i) const { return gw.valid(i); }
marci@212:   
marci@212:     //template<typename I> void setInvalid(const I &i);
marci@212:     //{ return graph->setInvalid(i); }
marci@212: 
marci@212:     int nodeNum() const { return gw.nodeNum(); }
marci@212:     int edgeNum() const { return gw.edgeNum(); }
marci@212:   
marci@212:     template<typename I> Node aNode(const I& e) const { return gw.aNode(e); }
marci@212:     template<typename I> Node bNode(const I& e) const { return gw.bNode(e); }
marci@212:   
marci@212:     Node addNode() const { return gw.addNode(); }
marci@212:     Edge addEdge(const Node& tail, const Node& head) const { 
marci@212:       return gw.addEdge(tail, head); }
marci@212:   
marci@212:     template<typename I> void erase(const I& i) const { gw.erase(i); }
marci@212:   
marci@212:     void clear() const { gw.clear(); }
marci@212:     
marci@212:     template<typename T> class NodeMap : public GraphWrapper::NodeMap<T> { 
marci@212:     public:
marci@212:       NodeMap(const GraphWrapperSkeleton<GraphWrapper>& _G) : 
marci@212: 	GraphWrapper::NodeMap<T>(_G.gw) { }
marci@212:       NodeMap(const GraphWrapperSkeleton<GraphWrapper>& _G, T a) : 
marci@212: 	GraphWrapper::NodeMap<T>(_G.gw, a) { }
marci@212:     };
marci@212: 
marci@212:     template<typename T> class EdgeMap : public GraphWrapper::EdgeMap<T> { 
marci@212:     public:
marci@212:       EdgeMap(const GraphWrapperSkeleton<GraphWrapper>& _G) : 
marci@212: 	GraphWrapper::EdgeMap<T>(_G.gw) { }
marci@212:       EdgeMap(const GraphWrapperSkeleton<GraphWrapper>& _G, T a) : 
marci@212: 	GraphWrapper::EdgeMap<T>(_G.gw, a) { }
marci@212:     };
marci@212:   };
marci@212: 
marci@230: //   template<typename Graph>
marci@230: //   class RevGraphWrapper
marci@230: //   {
marci@230: //   protected:
marci@230: //     Graph* graph;
marci@230:   
marci@230: //   public:
marci@230: //     typedef Graph BaseGraph;
marci@230: 
marci@230: //     typedef typename Graph::Node Node;    
marci@230: //     typedef typename Graph::NodeIt NodeIt;
marci@230:   
marci@230: //     typedef typename Graph::Edge Edge;
marci@230: //     typedef typename Graph::OutEdgeIt InEdgeIt;
marci@230: //     typedef typename Graph::InEdgeIt OutEdgeIt;
marci@230: //     //typedef typename Graph::SymEdgeIt SymEdgeIt;
marci@230: //     typedef typename Graph::EdgeIt EdgeIt;
marci@230: 
marci@230: //     //RevGraphWrapper() : graph(0) { }
marci@230: //     RevGraphWrapper(Graph& _graph) : graph(&_graph) { }
marci@230: 
marci@230: //     void setGraph(Graph& _graph) { graph = &_graph; }
marci@230: //     Graph& getGraph() const { return (*graph); }
marci@230:     
marci@230: //     template<typename I> I& first(I& i) const { return graph->first(i); }
marci@230: //     template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@230: //       return graph->first(i, p); }
marci@230: 
marci@230: //     template<typename I> I getNext(const I& i) const { 
marci@230: //       return graph->getNext(i); }
marci@230: //     template<typename I> I& next(I &i) const { return graph->next(i); }    
marci@230: 
marci@230: //     template< typename It > It first() const { 
marci@230: //       It e; first(e); return e; }
marci@230: 
marci@230: //     template< typename It > It first(const Node& v) const { 
marci@230: //       It e; first(e, v); return e; }
marci@230: 
marci@230: //     Node head(const Edge& e) const { return graph->tail(e); }
marci@230: //     Node tail(const Edge& e) const { return graph->head(e); }
marci@230:   
marci@230: //     template<typename I> bool valid(const I& i) const 
marci@230: //       { return graph->valid(i); }
marci@230:   
marci@230: //     //template<typename I> void setInvalid(const I &i);
marci@230: //     //{ return graph->setInvalid(i); }
marci@230:   
marci@230: //     template<typename I> Node aNode(const I& e) const { 
marci@230: //       return graph->aNode(e); }
marci@230: //     template<typename I> Node bNode(const I& e) const { 
marci@230: //       return graph->bNode(e); }
marci@230: 
marci@230: //     Node addNode() const { return graph->addNode(); }
marci@230: //     Edge addEdge(const Node& tail, const Node& head) const { 
marci@230: //       return graph->addEdge(tail, head); }
marci@230:   
marci@230: //     int nodeNum() const { return graph->nodeNum(); }
marci@230: //     int edgeNum() const { return graph->edgeNum(); }
marci@230:   
marci@230: //     template<typename I> void erase(const I& i) const { graph->erase(i); }
marci@230:   
marci@230: //     void clear() const { graph->clear(); }
marci@230: 
marci@230: //     template<typename T> class NodeMap : public Graph::NodeMap<T> { 
marci@230: //     public:
marci@230: //       NodeMap(const RevGraphWrapper<Graph>& _G) : 
marci@230: // 	Graph::NodeMap<T>(_G.getGraph()) { }
marci@230: //       NodeMap(const RevGraphWrapper<Graph>& _G, T a) : 
marci@230: // 	Graph::NodeMap<T>(_G.getGraph(), a) { }
marci@230: //     };
marci@230: 
marci@230: //     template<typename T> class EdgeMap : public Graph::EdgeMap<T> { 
marci@230: //     public:
marci@230: //       EdgeMap(const RevGraphWrapper<Graph>& _G) : 
marci@230: // 	Graph::EdgeMap<T>(_G.getGraph()) { }
marci@230: //       EdgeMap(const RevGraphWrapper<Graph>& _G, T a) : 
marci@230: // 	Graph::EdgeMap<T>(_G.getGraph(), a) { }
marci@230: //     };
marci@230: //   };
marci@230: 
marci@235: //   template<typename /*Graph*/GraphWrapper
marci@235: //   /*=typename GraphWrapperSkeleton< TrivGraphWrapper<Graph>*/ >
marci@235: //   class RevGraphWrapper : 
marci@235: //     public GraphWrapper/*GraphWrapperSkeleton< TrivGraphWrapper<Graph> >*/ {
marci@235: //   protected:
marci@235: //     //Graph* graph;
marci@230:     
marci@235: //   public:
marci@235: //     //typedef Graph BaseGraph;
marci@235: 
marci@235: //     //typedef typename Graph::Node Node;    
marci@235: //     //typedef typename Graph::NodeIt NodeIt;
marci@235:   
marci@235: //     //typedef typename Graph::Edge Edge;
marci@235: //     typedef typename GraphWrapper/*typename GraphWrapperSkeleton< TrivGraphWrapper<Graph> >*/::OutEdgeIt InEdgeIt;
marci@235: //     typedef typename GraphWrapper/*typename GraphWrapperSkeleton< TrivGraphWrapper<Graph> >*/::InEdgeIt OutEdgeIt;
marci@235: //     //typedef typename Graph::SymEdgeIt SymEdgeIt;
marci@235: //     //typedef typename Graph::EdgeIt EdgeIt;
marci@235: 
marci@235: //     //RevGraphWrapper() : graph(0) { }
marci@235: //     RevGraphWrapper(GraphWrapper _gw/*BaseGraph& _graph*/) : GraphWrapper/*GraphWrapperSkeleton< TrivGraphWrapper<Graph> >*/(_gw/*TrivGraphWrapper<Graph>(_graph)*/) { }
marci@235:     
marci@235: //     //void setGraph(Graph& _graph) { graph = &_graph; }
marci@235: //     //Graph& getGraph() const { return (*graph); }
marci@235:     
marci@235: //     //template<typename I> I& first(I& i) const { return graph->first(i); }
marci@235: //     //template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@235: //     //  return graph->first(i, p); }
marci@235: 
marci@235: //     //template<typename I> I getNext(const I& i) const { 
marci@235: //     //  return graph->getNext(i); }
marci@235: //     //template<typename I> I& next(I &i) const { return graph->next(i); }    
marci@235: 
marci@235: //     //template< typename It > It first() const { 
marci@235: //     //  It e; first(e); return e; }
marci@235: 
marci@235: //     //template< typename It > It first(const Node& v) const { 
marci@235: //     //  It e; first(e, v); return e; }
marci@235: 
marci@235: //     //Node head(const Edge& e) const { return graph->tail(e); }
marci@235: //     //Node tail(const Edge& e) const { return graph->head(e); }
marci@235:   
marci@235: //     //template<typename I> bool valid(const I& i) const 
marci@235: //     //  { return graph->valid(i); }
marci@235:   
marci@235: //     //template<typename I> void setInvalid(const I &i);
marci@235: //     //{ return graph->setInvalid(i); }
marci@235:   
marci@235: //     //template<typename I> Node aNode(const I& e) const { 
marci@235: //     //  return graph->aNode(e); }
marci@235: //     //template<typename I> Node bNode(const I& e) const { 
marci@235: //     //  return graph->bNode(e); }
marci@235: 
marci@235: //     //Node addNode() const { return graph->addNode(); }
marci@235: //     //Edge addEdge(const Node& tail, const Node& head) const { 
marci@235: //     //  return graph->addEdge(tail, head); }
marci@235:   
marci@235: //     //int nodeNum() const { return graph->nodeNum(); }
marci@235: //     //int edgeNum() const { return graph->edgeNum(); }
marci@235:   
marci@235: //     //template<typename I> void erase(const I& i) const { graph->erase(i); }
marci@235:   
marci@235: //     //void clear() const { graph->clear(); }
marci@235: 
marci@235: //     template<typename T> class NodeMap : 
marci@235: //       public GraphWrapper/*Skeleton< TrivGraphWrapper<Graph> >*/::NodeMap<T> 
marci@235: //     { 
marci@235: //     public:
marci@235: //       NodeMap(const RevGraphWrapper<GraphWrapper>& _gw) : 
marci@235: // 	GraphWrapper/*Skeleton< TrivGraphWrapper<Graph> >*/::NodeMap<T>(_gw) { }
marci@235: //       NodeMap(const RevGraphWrapper<GraphWrapper>& _gw, T a) : 
marci@235: // 	GraphWrapper/*Skeleton< TrivGraphWrapper<Graph> >*/::NodeMap<T>(_gw, a) { }
marci@235: //     };
marci@235:     
marci@235: //     template<typename T> class EdgeMap : 
marci@235: //       public GraphWrapper/*Skeleton< TrivGraphWrapper<Graph> >*/::EdgeMap<T> { 
marci@235: //     public:
marci@235: //       EdgeMap(const RevGraphWrapper<GraphWrapper>& _gw) : 
marci@235: // 	GraphWrapper/*Skeleton< TrivGraphWrapper<Graph> >*/::EdgeMap<T>(_gw) { }
marci@235: //       EdgeMap(const RevGraphWrapper<GraphWrapper>& _gw, T a) : 
marci@235: // 	GraphWrapper/*Skeleton< TrivGraphWrapper<Graph> >*/::EdgeMap<T>(_gw, a) { }
marci@235: //     };
marci@235: //   };
marci@235: 
marci@235: 
marci@235:   template<typename GraphWrapper>
marci@235:   class RevGraphWrapper : public GraphWrapperSkeleton<GraphWrapper> {
marci@230:   public:
marci@237:     typedef typename GraphWrapperSkeleton<GraphWrapper>::Node Node;
marci@237:     typedef typename GraphWrapperSkeleton<GraphWrapper>::Edge Edge;
marci@235:     typedef typename GraphWrapperSkeleton<GraphWrapper>::OutEdgeIt InEdgeIt;
marci@235:     typedef typename GraphWrapperSkeleton<GraphWrapper>::InEdgeIt OutEdgeIt;
marci@237: 
marci@238:     RevGraphWrapper(GraphWrapper _gw) : 
marci@238:       GraphWrapperSkeleton<GraphWrapper>(_gw) { }  
marci@238: 
marci@237:     Node head(const Edge& e) const 
marci@237:       { return GraphWrapperSkeleton<GraphWrapper>::tail(e); }
marci@237:     Node tail(const Edge& e) const 
marci@237:       { return GraphWrapperSkeleton<GraphWrapper>::head(e); }
marci@76:   };
marci@76: 
marci@263:   //Subgraph on the same node-set and partial edge-set
marci@263:   template<typename GraphWrapper, typename EdgeFilterMap>
marci@263:   class SubGraphWrapper : public GraphWrapperSkeleton<GraphWrapper> {
marci@263:   protected:
marci@263:     EdgeFilterMap* filter_map;
marci@263:   public:
marci@263:     typedef typename GraphWrapperSkeleton<GraphWrapper>::Node Node;
marci@263:     typedef typename GraphWrapperSkeleton<GraphWrapper>::NodeIt NodeIt;
marci@263:     typedef typename GraphWrapperSkeleton<GraphWrapper>::Edge Edge;
marci@263:     typedef typename GraphWrapperSkeleton<GraphWrapper>::EdgeIt EdgeIt;
marci@263:     typedef typename GraphWrapperSkeleton<GraphWrapper>::InEdgeIt InEdgeIt;
marci@263:     typedef typename GraphWrapperSkeleton<GraphWrapper>::OutEdgeIt OutEdgeIt;
marci@263: 
marci@263:     SubGraphWrapper(GraphWrapper _gw, EdgeFilterMap& _filter_map) : 
marci@263:       GraphWrapperSkeleton<GraphWrapper>(_gw), filter_map(&_filter_map) { }  
marci@263: 
marci@263:     template<typename I> I& first(I& i) const { 
marci@263:       gw.first(i); 
marci@263:       while (gw.valid(i) && !filter_map->get(i)) { gw.next(i); }
marci@263:       return i;
marci@263:     }
marci@263:     template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@263:       gw.first(i, p); 
marci@263:       while (gw.valid(i) && !filter_map->get(i)) { gw.next(i); }
marci@263:       return i;
marci@263:     }
marci@263:     
marci@263:     //template<typename I> I getNext(const I& i) const { 
marci@263:     //  return gw.getNext(i); 
marci@263:     //}
marci@263:     template<typename I> I& next(I &i) const { 
marci@263:       gw.next(i); 
marci@263:       while (gw.valid(i) && !filter_map->get(i)) { gw.next(i); }
marci@263:       return i;
marci@263:     }
marci@263:     
marci@263:     template< typename It > It first() const { 
marci@263:       It e; this->first(e); return e; }
marci@263:     
marci@263:     template< typename It > It first(const Node& v) const { 
marci@263:       It e; this->first(e, v); return e; }
marci@263:   };
marci@155: 
marci@238: //   template<typename GraphWrapper>
marci@236: //   class UndirGraphWrapper {
marci@236: //   protected:
marci@238: //     //Graph* graph;
marci@238: //     GraphWrapper gw;
marci@238: 
marci@236: //   public:
marci@238: //     typedef GraphWrapper BaseGraph;
marci@236: 
marci@238: //     typedef typename GraphWrapper::Node Node;
marci@238: //     typedef typename GraphWrapper::NodeIt NodeIt;
marci@236: 
marci@236: //     //typedef typename Graph::Edge Edge;
marci@236: //     //typedef typename Graph::OutEdgeIt OutEdgeIt;
marci@236: //     //typedef typename Graph::InEdgeIt InEdgeIt;
marci@236: //     //typedef typename Graph::SymEdgeIt SymEdgeIt;
marci@236: //     //typedef typename Graph::EdgeIt EdgeIt;
marci@236: 
marci@236: //     //private:
marci@238: //     typedef typename GraphWrapper::Edge GraphEdge;
marci@238: //     typedef typename GraphWrapper::OutEdgeIt GraphOutEdgeIt;
marci@238: //     typedef typename GraphWrapper::InEdgeIt GraphInEdgeIt;
marci@236: //     //public:
marci@236: 
marci@236: //     //UndirGraphWrapper() : graph(0) { }
marci@238: //     UndirGraphWrapper(GraphWrapper _gw) : gw(_gw) { }
marci@236: 
marci@238: //     //void setGraph(Graph& _graph) { graph = &_graph; }
marci@238: //     //Graph& getGraph() const { return (*graph); }
marci@236:   
marci@236: //     class Edge {
marci@238: //       friend class UndirGraphWrapper<GraphWrapper>;
marci@236: //       bool out_or_in; //true iff out
marci@236: //       GraphOutEdgeIt out;
marci@236: //       GraphInEdgeIt in;
marci@236: //     public:
marci@236: //       Edge() : out_or_in(), out(), in() { }
marci@236: //       Edge(const Invalid& i) : out_or_in(false), out(), in(i) { }
marci@236: //       operator GraphEdge() const {
marci@236: // 	if (out_or_in) return(out); else return(in);
marci@236: //       }
marci@236: //       friend bool operator==(const Edge& u, const Edge& v) { 
marci@236: // 	if (v.out_or_in) 
marci@236: // 	  return (u.out_or_in && u.out==v.out);
marci@236: // 	else
marci@236: // 	  return (!u.out_or_in && u.in==v.in);
marci@236: //       } 
marci@236: //       friend bool operator!=(const Edge& u, const Edge& v) { 
marci@236: // 	if (v.out_or_in) 
marci@236: // 	  return (!u.out_or_in || u.out!=v.out);
marci@236: // 	else
marci@236: // 	  return (u.out_or_in || u.in!=v.in);
marci@236: //       } 
marci@236: //     };
marci@236: 
marci@236: //     class OutEdgeIt : public Edge {
marci@238: //       friend class UndirGraphWrapper<GraphWrapper>;
marci@236: //     public:
marci@236: //       OutEdgeIt() : Edge() { }
marci@236: //       OutEdgeIt(const Invalid& i) : Edge(i) { }
marci@238: //       OutEdgeIt(const UndirGraphWrapper<GraphWrapper>& _G, const Node& n) 
marci@238: // 	: Edge() { 
marci@236: // 	out_or_in=true;
marci@238: // 	_G.gw.first(out, n);
marci@238: // 	if (!(_G.gw.valid(out))) {
marci@236: // 	  out_or_in=false;
marci@238: // 	  _G.gw.first(in, n);
marci@236: // 	}
marci@236: //       }
marci@236: //     };
marci@236: 
marci@236: //     OutEdgeIt& first(OutEdgeIt& e, const Node& n) const {
marci@236: //       e.out_or_in=true;
marci@238: //       gw.first(e.out, n);
marci@238: //       if (!(gw.valid(e.out))) {
marci@236: // 	e.out_or_in=false;
marci@238: // 	gw.first(e.in, n);
marci@236: //       }
marci@236: //       return e;
marci@236: //     }
marci@236: 
marci@236: //     OutEdgeIt& next(OutEdgeIt& e) const {
marci@236: //       if (e.out_or_in) {
marci@238: // 	Node n=gw.tail(e.out);
marci@238: // 	gw.next(e.out);
marci@238: // 	if (!gw.valid(e.out)) {
marci@236: // 	  e.out_or_in=false;
marci@238: // 	  gw.first(e.in, n);
marci@236: // 	}
marci@236: //       } else {
marci@238: // 	gw.next(e.in);
marci@236: //       }
marci@236: //       return e;
marci@236: //     }
marci@236: 
marci@236: //     Node aNode(const OutEdgeIt& e) const { 
marci@238: //       if (e.out_or_in) return gw.tail(e); else return gw.head(e); }
marci@236: //     Node bNode(const OutEdgeIt& e) const { 
marci@238: //       if (e.out_or_in) return gw.head(e); else return gw.tail(e); }
marci@236: 
marci@236: //     typedef OutEdgeIt InEdgeIt; 
marci@236: 
marci@238: //     template<typename I> I& first(I& i) const { return gw.first(i); }
marci@236: // //     template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@236: // //       return graph->first(i, p); }
marci@236:     
marci@236: //     template<typename I> I getNext(const I& i) const { 
marci@238: //       return gw.getNext(i); }
marci@238: //     template<typename I> I& next(I &i) const { return gw.next(i); }    
marci@236: 
marci@236: //     template< typename It > It first() const { 
marci@236: //       It e; first(e); return e; }
marci@236: 
marci@236: //     template< typename It > It first(const Node& v) const { 
marci@236: //       It e; first(e, v); return e; }
marci@236: 
marci@238: //     Node head(const Edge& e) const { return gw.head(e); }
marci@238: //     Node tail(const Edge& e) const { return gw.tail(e); }
marci@236: 
marci@236: //     template<typename I> bool valid(const I& i) const 
marci@238: //       { return gw.valid(i); }
marci@236:   
marci@236: //     //template<typename I> void setInvalid(const I &i);
marci@236: //     //{ return graph->setInvalid(i); }
marci@236: 
marci@238: //     int nodeNum() const { return gw.nodeNum(); }
marci@238: //     int edgeNum() const { return gw.edgeNum(); }
marci@236:   
marci@236: // //     template<typename I> Node aNode(const I& e) const { 
marci@236: // //       return graph->aNode(e); }
marci@236: // //     template<typename I> Node bNode(const I& e) const { 
marci@236: // //       return graph->bNode(e); }
marci@236:   
marci@238: //     Node addNode() const { return gw.addNode(); }
marci@236: // // FIXME: ez igy nem jo, mert nem
marci@236: // //    Edge addEdge(const Node& tail, const Node& head) const { 
marci@236: // //      return graph->addEdge(tail, head); }
marci@236:   
marci@238: //     template<typename I> void erase(const I& i) const { gw.erase(i); }
marci@236:   
marci@238: //     void clear() const { gw.clear(); }
marci@236:     
marci@238: //     template<typename T> class NodeMap : public GraphWrapper::NodeMap<T> { 
marci@236: //     public:
marci@238: //       NodeMap(const UndirGraphWrapper<GraphWrapper>& _G) : 
marci@238: // 	GraphWrapper::NodeMap<T>(_G.gw) { }
marci@238: //       NodeMap(const UndirGraphWrapper<GraphWrapper>& _G, T a) : 
marci@238: // 	GraphWrapper::NodeMap<T>(_G.gw, a) { }
marci@236: //     };
marci@236: 
marci@238: //     template<typename T> class EdgeMap : public GraphWrapper::EdgeMap<T> { 
marci@236: //     public:
marci@238: //       EdgeMap(const UndirGraphWrapper<GraphWrapper>& _G) : 
marci@238: // 	GraphWrapper::EdgeMap<T>(_G.gw) { }
marci@238: //       EdgeMap(const UndirGraphWrapper<GraphWrapper>& _G, T a) : 
marci@238: // 	GraphWrapper::EdgeMap<T>(_G.gw, a) { }
marci@236: //     };
marci@236: //   };
marci@236: 
marci@236: 
marci@236:   template<typename GraphWrapper>
marci@238:   class UndirGraphWrapper : public GraphWrapperSkeleton<GraphWrapper> {
marci@199:   protected:
marci@238: //    GraphWrapper gw;
marci@236: 
marci@158:   public:
marci@238:     //typedef GraphWrapper BaseGraph;
marci@158: 
marci@238:     typedef typename GraphWrapperSkeleton<GraphWrapper>::Node Node;
marci@238:     typedef typename GraphWrapperSkeleton<GraphWrapper>::NodeIt NodeIt;
marci@158: 
marci@158:     //private:
marci@238:     typedef typename GraphWrapperSkeleton<GraphWrapper>::Edge GraphEdge;
marci@238:     typedef typename GraphWrapperSkeleton<GraphWrapper>::OutEdgeIt GraphOutEdgeIt;
marci@238:     typedef typename GraphWrapperSkeleton<GraphWrapper>::InEdgeIt GraphInEdgeIt;
marci@158:     //public:
marci@158: 
marci@168:     //UndirGraphWrapper() : graph(0) { }
marci@238:     UndirGraphWrapper(GraphWrapper _gw) : 
marci@238:       GraphWrapperSkeleton<GraphWrapper>(_gw) { }  
marci@238: 
marci@238:     //UndirGraphWrapper(GraphWrapper _gw) : gw(_gw) { }
marci@168: 
marci@236:     //void setGraph(Graph& _graph) { graph = &_graph; }
marci@236:     //Graph& getGraph() const { return (*graph); }
marci@168:   
marci@174:     class Edge {
marci@236:       friend class UndirGraphWrapper<GraphWrapper>;
marci@158:       bool out_or_in; //true iff out
marci@158:       GraphOutEdgeIt out;
marci@158:       GraphInEdgeIt in;
marci@158:     public:
marci@174:       Edge() : out_or_in(), out(), in() { }
marci@174:       Edge(const Invalid& i) : out_or_in(false), out(), in(i) { }
marci@174:       operator GraphEdge() const {
marci@158: 	if (out_or_in) return(out); else return(in);
marci@158:       }
marci@239: //FIXME
marci@239: //2 edges are equal if they "refer" to the same physical edge 
marci@239: //is it good?
marci@174:       friend bool operator==(const Edge& u, const Edge& v) { 
marci@174: 	if (v.out_or_in) 
marci@239: 	  if (u.out_or_in) return (u.out==v.out); else return (u.out==v.in);
marci@239: 	//return (u.out_or_in && u.out==v.out);
marci@174: 	else
marci@239: 	  if (u.out_or_in) return (u.out==v.in); else return (u.in==v.in);
marci@239: 	//return (!u.out_or_in && u.in==v.in);
marci@174:       } 
marci@174:       friend bool operator!=(const Edge& u, const Edge& v) { 
marci@174: 	if (v.out_or_in) 
marci@239: 	  if (u.out_or_in) return (u.out!=v.out); else return (u.out!=v.in);
marci@239: 	//return (!u.out_or_in || u.out!=v.out);
marci@174: 	else
marci@239: 	  if (u.out_or_in) return (u.out!=v.in); else return (u.in!=v.in);
marci@239: 	//return (u.out_or_in || u.in!=v.in);
marci@174:       } 
marci@158:     };
marci@158: 
marci@174:     class OutEdgeIt : public Edge {
marci@236:       friend class UndirGraphWrapper<GraphWrapper>;
marci@158:     public:
marci@174:       OutEdgeIt() : Edge() { }
marci@174:       OutEdgeIt(const Invalid& i) : Edge(i) { }
marci@236:       OutEdgeIt(const UndirGraphWrapper<GraphWrapper>& _G, const Node& n) 
marci@236: 	: Edge() { 
marci@239: 	out_or_in=true; _G.gw.first(out, n);
marci@239: 	if (!(_G.gw.valid(out))) { out_or_in=false; _G.gw.first(in, n);	}
marci@158:       }
marci@158:     };
marci@158: 
marci@238:     typedef OutEdgeIt InEdgeIt; 
marci@238: 
marci@238:     class EdgeIt : public Edge {
marci@238:       friend class UndirGraphWrapper<GraphWrapper>;
marci@238:     protected:
marci@238:       NodeIt v;
marci@238:     public:
marci@238:       EdgeIt() : Edge() { }
marci@238:       EdgeIt(const Invalid& i) : Edge(i) { }
marci@238:       EdgeIt(const UndirGraphWrapper<GraphWrapper>& _G) 
marci@238: 	: Edge() { 
marci@238: 	out_or_in=true;
marci@238: 	//Node v;
marci@238: 	_G.first(v);
marci@238: 	if (_G.valid(v)) _G.gw.first(out); else out=INVALID;
marci@238: 	while (_G.valid(v) && !_G.gw.valid(out)) { 
marci@238: 	  _G.gw.next(v); 
marci@238: 	  if (_G.valid(v)) _G.gw.first(out); 
marci@238: 	}
marci@238:       }
marci@238:     };
marci@238: 
marci@212:     OutEdgeIt& first(OutEdgeIt& e, const Node& n) const {
marci@239:       e.out_or_in=true; gw.first(e.out, n);
marci@239:       if (!(gw.valid(e.out))) { e.out_or_in=false; gw.first(e.in, n); }
marci@158:       return e;
marci@158:     }
marci@158: 
marci@238:     EdgeIt& first(EdgeIt& e) const {
marci@238:       e.out_or_in=true;
marci@238:       //NodeIt v;
marci@238:       first(e.v);
marci@238:       if (valid(e.v)) gw.first(e.out, e.v); else e.out=INVALID;
marci@238:       while (valid(e.v) && !gw.valid(e.out)) { 
marci@238: 	gw.next(e.v); 
marci@238: 	if (valid(e.v)) gw.first(e.out, e.v); 
marci@238:       }
marci@238:       return e;
marci@238:     }
marci@238: 
marci@238:     template<typename I> I& first(I& i) const { return gw.first(i); }
marci@238:     template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@238:       return graph->first(i, p); }
marci@238: 
marci@158:     OutEdgeIt& next(OutEdgeIt& e) const {
marci@158:       if (e.out_or_in) {
marci@236: 	Node n=gw.tail(e.out);
marci@236: 	gw.next(e.out);
marci@239: 	if (!gw.valid(e.out)) { e.out_or_in=false; gw.first(e.in, n); }
marci@158:       } else {
marci@236: 	gw.next(e.in);
marci@158:       }
marci@158:       return e;
marci@158:     }
marci@158: 
marci@238:     EdgeIt& next(EdgeIt& e) const {
marci@238:       //NodeIt v=tail(e);
marci@238:       gw.next(e.out);
marci@238:       while (valid(e.v) && !gw.valid(e.out)) { 
marci@238: 	next(e.v); 
marci@238: 	if (valid(e.v)) gw.first(e.out, e.v); 
marci@238:       }
marci@238:       return e;
marci@238:     }
marci@158: 
marci@238:     template<typename I> I& next(I &i) const { return gw.next(i); }    
marci@239:     template<typename I> I getNext(const I& i) const { return gw.getNext(i); }
marci@158: 
marci@158:     template< typename It > It first() const { 
marci@212:       It e; first(e); return e; }
marci@158: 
marci@174:     template< typename It > It first(const Node& v) const { 
marci@212:       It e; first(e, v); return e; }
marci@158: 
marci@238: //    Node head(const Edge& e) const { return gw.head(e); }
marci@238: //    Node tail(const Edge& e) const { return gw.tail(e); }
marci@158: 
marci@238: //    template<typename I> bool valid(const I& i) const 
marci@238: //      { return gw.valid(i); }
marci@158:   
marci@238: //    int nodeNum() const { return gw.nodeNum(); }
marci@238: //    int edgeNum() const { return gw.edgeNum(); }
marci@158:   
marci@174: //     template<typename I> Node aNode(const I& e) const { 
marci@158: //       return graph->aNode(e); }
marci@174: //     template<typename I> Node bNode(const I& e) const { 
marci@158: //       return graph->bNode(e); }
marci@238: 
marci@238:     Node aNode(const OutEdgeIt& e) const { 
marci@238:       if (e.out_or_in) return gw.tail(e); else return gw.head(e); }
marci@238:     Node bNode(const OutEdgeIt& e) const { 
marci@238:       if (e.out_or_in) return gw.head(e); else return gw.tail(e); }
marci@158:   
marci@238: //    Node addNode() const { return gw.addNode(); }
marci@238: 
marci@231: // FIXME: ez igy nem jo, mert nem
marci@231: //    Edge addEdge(const Node& tail, const Node& head) const { 
marci@231: //      return graph->addEdge(tail, head); }
marci@158:   
marci@238: //    template<typename I> void erase(const I& i) const { gw.erase(i); }
marci@158:   
marci@238: //    void clear() const { gw.clear(); }
marci@158:     
marci@238: //     template<typename T> class NodeMap : public GraphWrapper::NodeMap<T> { 
marci@238: //     public:
marci@238: //       NodeMap(const UndirGraphWrapper<GraphWrapper>& _G) : 
marci@238: // 	GraphWrapper::NodeMap<T>(_G.gw) { }
marci@238: //       NodeMap(const UndirGraphWrapper<GraphWrapper>& _G, T a) : 
marci@238: // 	GraphWrapper::NodeMap<T>(_G.gw, a) { }
marci@238: //     };
marci@168: 
marci@238: //     template<typename T> class EdgeMap : 
marci@238: //       public GraphWrapperSkeleton<GraphWrapper>::EdgeMap<T> { 
marci@238: //     public:
marci@238: //       EdgeMap(const UndirGraphWrapper<GraphWrapper>& _G) : 
marci@238: // 	GraphWrapperSkeleton<GraphWrapper>::EdgeMap<T>(_G.gw) { }
marci@238: //       EdgeMap(const UndirGraphWrapper<GraphWrapper>& _G, T a) : 
marci@238: // 	GraphWrapper::EdgeMap<T>(_G.gw, a) { }
marci@238: //     };
marci@238:    };
marci@158: 
marci@158: 
marci@158: 
marci@236: 
marci@236: 
marci@155: //   template<typename Graph>
marci@155: //   class SymGraphWrapper
marci@155: //   {
marci@155: //     Graph* graph;
marci@76:   
marci@155: //   public:
marci@155: //     typedef Graph BaseGraph;
marci@155: 
marci@174: //     typedef typename Graph::Node Node;
marci@174: //     typedef typename Graph::Edge Edge;
marci@174:   
marci@155: //     typedef typename Graph::NodeIt NodeIt;
marci@155:     
marci@155: //     //FIXME tag-ekkel megcsinalni, hogy abbol csinaljon
marci@155: //     //iranyitatlant, ami van
marci@155: //     //mert csak 1 dolgot lehet be typedef-elni
marci@155: //     typedef typename Graph::OutEdgeIt SymEdgeIt;
marci@155: //     //typedef typename Graph::InEdgeIt SymEdgeIt;
marci@155: //     //typedef typename Graph::SymEdgeIt SymEdgeIt;
marci@174: //     typedef typename Graph::EdgeIt EdgeIt;
marci@155: 
marci@155: //     int nodeNum() const { return graph->nodeNum(); }
marci@155: //     int edgeNum() const { return graph->edgeNum(); }
marci@155:     
marci@212: //     template<typename I> I& first(I& i) const { return graph->first(i); }
marci@212: //     template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@212: //       return graph->first(i, p); }
marci@155: //     //template<typename I> I next(const I i); { return graph->goNext(i); }
marci@155: //     //template<typename I> I &goNext(I &i); { return graph->goNext(i); }
marci@155: 
marci@155: //     template< typename It > It first() const { 
marci@212: //       It e; first(e); return e; }
marci@155: 
marci@174: //     template< typename It > It first(Node v) const { 
marci@212: //       It e; first(e, v); return e; }
marci@155: 
marci@174: //     Node head(const Edge& e) const { return graph->head(e); }
marci@174: //     Node tail(const Edge& e) const { return graph->tail(e); }
marci@155:   
marci@174: //     template<typename I> Node aNode(const I& e) const { 
marci@155: //       return graph->aNode(e); }
marci@174: //     template<typename I> Node bNode(const I& e) const { 
marci@155: //       return graph->bNode(e); }
marci@155:   
marci@155: //     //template<typename I> bool valid(const I i);
marci@155: //     //{ return graph->valid(i); }
marci@155:   
marci@155: //     //template<typename I> void setInvalid(const I &i);
marci@155: //     //{ return graph->setInvalid(i); }
marci@155:   
marci@174: //     Node addNode() { return graph->addNode(); }
marci@174: //     Edge addEdge(const Node& tail, const Node& head) { 
marci@155: //       return graph->addEdge(tail, head); }
marci@155:   
marci@155: //     template<typename I> void erase(const I& i) { graph->erase(i); }
marci@155:   
marci@155: //     void clear() { graph->clear(); }
marci@155:   
marci@155: //     template<typename T> class NodeMap : public Graph::NodeMap<T> { };
marci@155: //     template<typename T> class EdgeMap : public Graph::EdgeMap<T> { };
marci@155:   
marci@155: //     void setGraph(Graph& _graph) { graph = &_graph; }
marci@155: //     Graph& getGraph() { return (*graph); }
marci@155: 
marci@155: //     //SymGraphWrapper() : graph(0) { }
marci@155: //     SymGraphWrapper(Graph& _graph) : graph(&_graph) { }
marci@155: //   };
marci@155: 
marci@155: 
marci@155:   template<typename Graph, typename Number, typename FlowMap, typename CapacityMap>
marci@155:   class ResGraphWrapper {
marci@76:   public:
marci@259:     //typedef Graph BaseGraph;
marci@174:     typedef typename Graph::Node Node;
marci@155:     typedef typename Graph::NodeIt NodeIt;
marci@155:   private:
marci@155:     typedef typename Graph::OutEdgeIt OldOutEdgeIt;
marci@155:     typedef typename Graph::InEdgeIt OldInEdgeIt;
marci@199:   protected:
marci@259:     //const Graph* graph;
marci@259:     typedef TrivGraphWrapper<const Graph> GraphWrapper;
marci@259:     GraphWrapper gw;
marci@155:     FlowMap* flow;
marci@155:     const CapacityMap* capacity;
marci@155:   public:
marci@168: 
marci@155:     ResGraphWrapper(const Graph& _G, FlowMap& _flow, 
marci@155: 	     const CapacityMap& _capacity) : 
marci@259:       gw(_G), flow(&_flow), capacity(&_capacity) { }
marci@168: 
marci@259:     //void setGraph(const Graph& _graph) { graph = &_graph; }
marci@259:     //const Graph& getGraph() const { return (*graph); }
marci@168: 
marci@174:     class Edge; 
marci@155:     class OutEdgeIt; 
marci@174:     friend class Edge; 
marci@155:     friend class OutEdgeIt; 
marci@76: 
marci@174:     class Edge {
marci@155:       friend class ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>;
marci@155:     protected:
marci@168:       bool out_or_in; //true, iff out
marci@155:       OldOutEdgeIt out;
marci@155:       OldInEdgeIt in;
marci@155:     public:
marci@174:       Edge() : out_or_in(true) { } 
marci@174:       Edge(const Invalid& i) : out_or_in(false), out(), in(i) { }
marci@168: //       bool valid() const { 
marci@168: // 	return out_or_in && out.valid() || in.valid(); }
marci@174:       friend bool operator==(const Edge& u, const Edge& v) { 
marci@174: 	if (v.out_or_in) 
marci@174: 	  return (u.out_or_in && u.out==v.out);
marci@174: 	else
marci@174: 	  return (!u.out_or_in && u.in==v.in);
marci@174:       } 
marci@174:       friend bool operator!=(const Edge& u, const Edge& v) { 
marci@174: 	if (v.out_or_in) 
marci@174: 	  return (!u.out_or_in || u.out!=v.out);
marci@174: 	else
marci@174: 	  return (u.out_or_in || u.in!=v.in);
marci@174:       } 
marci@155:     };
marci@155: 
marci@155: 
marci@174:     class OutEdgeIt : public Edge {
marci@155:       friend class ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>;
marci@155:     public:
marci@155:       OutEdgeIt() { }
marci@168:       //FIXME
marci@174:       OutEdgeIt(const Edge& e) : Edge(e) { }
marci@174:       OutEdgeIt(const Invalid& i) : Edge(i) { }
marci@155:     private:
marci@174:       OutEdgeIt(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& resG, Node v) : Edge() { 
marci@259: 	resG.gw.first(out, v);
marci@259: 	while( resG.gw.valid(out) && !(resG.free(out)>0) ) { resG.gw.next(out); }
marci@259: 	if (!resG.gw.valid(out)) {
marci@155: 	  out_or_in=0;
marci@259: 	  resG.gw.first(in, v);
marci@259: 	  while( resG.gw.valid(in) && !(resG.free(in)>0) ) { resG.gw.next(in); }
marci@155: 	}
marci@155:       }
marci@168: //     public:
marci@168: //       OutEdgeIt& operator++() { 
marci@168: // 	if (out_or_in) {
marci@174: // 	  Node v=/*resG->*/G->aNode(out);
marci@168: // 	  ++out;
marci@174: // 	  while( out.valid() && !(Edge::free()>0) ) { ++out; }
marci@168: // 	  if (!out.valid()) {
marci@168: // 	    out_or_in=0;
marci@212: // 	    G->first(in, v); 
marci@174: // 	    while( in.valid() && !(Edge::free()>0) ) { ++in; }
marci@168: // 	  }
marci@168: // 	} else {
marci@168: // 	  ++in;
marci@174: // 	  while( in.valid() && !(Edge::free()>0) ) { ++in; } 
marci@168: // 	}
marci@168: // 	return *this; 
marci@168: //       }
marci@155:     };
marci@155: 
marci@263:     //FIXME This is just for having InEdgeIt
marci@263:     typedef void InEdgeIt;
marci@263: 
marci@174:     class EdgeIt : public Edge {
marci@155:       friend class ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>;
marci@174:       typename Graph::NodeIt v;
marci@155:     public:
marci@174:       EdgeIt() { }
marci@174:       //EdgeIt(const EdgeIt& e) : Edge(e), v(e.v) { }
marci@174:       EdgeIt(const Invalid& i) : Edge(i) { }
marci@174:       EdgeIt(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& resG) : Edge() { 
marci@259: 	resG.gw.first(v);
marci@259: 	if (resG.gw.valid(v)) resG.gw.first(out, v); else out=/*OldOutEdgeIt*/(INVALID);
marci@259: 	while (resG.gw.valid(out) && !(resG.free(out)>0) ) { resG.gw.next(out); }
marci@259: 	while (resG.gw.valid(v) && !resG.gw.valid(out)) { 
marci@259: 	  resG.gw.next(v); 
marci@259: 	  if (resG.gw.valid(v)) resG.gw.first(out, v); 
marci@259: 	  while (resG.gw.valid(out) && !(resG.free(out)>0) ) { resG.gw.next(out); }
marci@155: 	}
marci@259: 	if (!resG.gw.valid(out)) {
marci@155: 	  out_or_in=0;
marci@259: 	  resG.gw.first(v);
marci@259: 	  if (resG.gw.valid(v)) resG.gw.first(in, v); else in=/*OldInEdgeIt*/(INVALID);
marci@259: 	  while (resG.gw.valid(in) && !(resG.free(in)>0) ) { resG.gw.next(in); }
marci@259: 	  while (resG.gw.valid(v) && !resG.gw.valid(in)) { 
marci@259: 	    resG.gw.next(v); 
marci@259: 	    if (resG.gw.valid(v)) resG.gw.first(in, v); 
marci@259: 	    while (resG.gw.valid(in) && !(resG.free(in)>0) ) { resG.gw.next(in); }
marci@155: 	  }
marci@155: 	}
marci@155:       }
marci@174: //       EdgeIt& operator++() { 
marci@168: // 	if (out_or_in) {
marci@168: // 	  ++out;
marci@174: // 	  while (out.valid() && !(Edge::free()>0) ) { ++out; }
marci@168: // 	  while (v.valid() && !out.valid()) { 
marci@168: // 	    ++v; 
marci@212: // 	    if (v.valid()) G->first(out, v); 
marci@174: // 	    while (out.valid() && !(Edge::free()>0) ) { ++out; }
marci@168: // 	  }
marci@168: // 	  if (!out.valid()) {
marci@168: // 	    out_or_in=0;
marci@212: // 	    G->first(v);
marci@212: // 	    if (v.valid()) G->first(in, v); else in=OldInEdgeIt();
marci@174: // 	    while (in.valid() && !(Edge::free()>0) ) { ++in; }
marci@168: // 	    while (v.valid() && !in.valid()) { 
marci@168: // 	      ++v; 
marci@212: // 	      if (v.valid()) G->first(in, v); 
marci@174: // 	      while (in.valid() && !(Edge::free()>0) ) { ++in; }
marci@168: // 	    }  
marci@168: // 	  }
marci@168: // 	} else {
marci@168: // 	  ++in;
marci@174: // 	  while (in.valid() && !(Edge::free()>0) ) { ++in; }
marci@168: // 	  while (v.valid() && !in.valid()) { 
marci@168: // 	    ++v; 
marci@212: // 	    if (v.valid()) G->first(in, v); 
marci@174: // 	    while (in.valid() && !(Edge::free()>0) ) { ++in; }
marci@168: // 	  }
marci@168: // 	}
marci@168: // 	return *this;
marci@168: //       }
marci@155:     };
marci@155: 
marci@259:     NodeIt& first(NodeIt& v) const { return gw.first(v); }
marci@212:     OutEdgeIt& first(OutEdgeIt& e, Node v) const { 
marci@168:       e=OutEdgeIt(*this, v); 
marci@174:       return e;
marci@155:     }
marci@212:     EdgeIt& first(EdgeIt& e) const { 
marci@174:       e=EdgeIt(*this); 
marci@174:       return e;
marci@155:     }
marci@155:    
marci@259:     NodeIt& next(NodeIt& n) const { return gw.next(n); }
marci@155: 
marci@155:     OutEdgeIt& next(OutEdgeIt& e) const { 
marci@155:       if (e.out_or_in) {
marci@259: 	Node v=gw.aNode(e.out);
marci@259: 	gw.next(e.out);
marci@259: 	while( gw.valid(e.out) && !(free(e.out)>0) ) { gw.next(e.out); }
marci@259: 	if (!gw.valid(e.out)) {
marci@155: 	  e.out_or_in=0;
marci@259: 	  gw.first(e.in, v); 
marci@259: 	  while( gw.valid(e.in) && !(free(e.in)>0) ) { gw.next(e.in); }
marci@155: 	}
marci@155:       } else {
marci@259: 	gw.next(e.in);
marci@259: 	while( gw.valid(e.in) && !(free(e.in)>0) ) { gw.next(e.in); } 
marci@155:       }
marci@155:       return e;
marci@155:     }
marci@155: 
marci@174:     EdgeIt& next(EdgeIt& e) const { 
marci@155:       if (e.out_or_in) {
marci@259: 	gw.next(e.out);
marci@259: 	while (gw.valid(e.out) && !(free(e.out)>0) ) { gw.next(e.out); }
marci@259: 	  while (gw.valid(e.v) && !gw.valid(e.out)) { 
marci@259: 	    gw.next(e.v); 
marci@259: 	    if (gw.valid(e.v)) gw.first(e.out, e.v); 
marci@259: 	    while (gw.valid(e.out) && !(free(e.out)>0) ) { gw.next(e.out); }
marci@155: 	  }
marci@259: 	  if (!gw.valid(e.out)) {
marci@155: 	    e.out_or_in=0;
marci@259: 	    gw.first(e.v);
marci@259: 	    if (gw.valid(e.v)) gw.first(e.in, e.v); else e.in=/*OldInEdgeIt*/(INVALID);
marci@259: 	    while (gw.valid(e.in) && !(free(e.in)>0) ) { gw.next(e.in); }
marci@259: 	    while (gw.valid(e.v) && !gw.valid(e.in)) { 
marci@259: 	      gw.next(e.v); 
marci@259: 	      if (gw.valid(e.v)) gw.first(e.in, e.v); 
marci@259: 	      while (gw.valid(e.in) && !(free(e.in)>0) ) { gw.next(e.in); }
marci@155: 	    }  
marci@155: 	  }
marci@155: 	} else {
marci@259: 	  gw.next(e.in);
marci@259: 	  while (gw.valid(e.in) && !(free(e.in)>0) ) { gw.next(e.in); }
marci@259: 	  while (gw.valid(e.v) && !gw.valid(e.in)) { 
marci@259: 	    gw.next(e.v); 
marci@259: 	    if (gw.valid(e.v)) gw.first(e.in, e.v); 
marci@259: 	    while (gw.valid(e.in) && !(free(e.in)>0) ) { gw.next(e.in); }
marci@155: 	  }
marci@155: 	}
marci@155: 	return e;
marci@155:       }
marci@76:     
marci@76: 
marci@155:     template< typename It >
marci@155:     It first() const { 
marci@155:       It e;
marci@212:       first(e);
marci@155:       return e; 
marci@155:     }
marci@76: 
marci@155:     template< typename It >
marci@174:     It first(Node v) const { 
marci@155:       It e;
marci@212:       first(e, v);
marci@155:       return e; 
marci@155:     }
marci@76: 
marci@174:     Node tail(Edge e) const { 
marci@259:       return ((e.out_or_in) ? gw.aNode(e.out) : gw.aNode(e.in)); }
marci@174:     Node head(Edge e) const { 
marci@259:       return ((e.out_or_in) ? gw.bNode(e.out) : gw.bNode(e.in)); }
marci@76: 
marci@174:     Node aNode(OutEdgeIt e) const { 
marci@259:       return ((e.out_or_in) ? gw.aNode(e.out) : gw.aNode(e.in)); }
marci@174:     Node bNode(OutEdgeIt e) const { 
marci@259:       return ((e.out_or_in) ? gw.bNode(e.out) : gw.bNode(e.in)); }
marci@76: 
marci@263:     int nodeNum() const { return gw.nodeNum(); }
marci@263:     //FIXME
marci@263:     //int edgeNum() const { return gw.edgeNum(); }
marci@263: 
marci@263: 
marci@259:     int id(Node v) const { return gw.id(v); }
marci@155: 
marci@259:     bool valid(Node n) const { return gw.valid(n); }
marci@174:     bool valid(Edge e) const { 
marci@259:       return e.out_or_in ? gw.valid(e.out) : gw.valid(e.in); }
marci@155: 
marci@174:     void augment(const Edge& e, Number a) const {
marci@168:       if (e.out_or_in)  
marci@168: 	flow->set(e.out, flow->get(e.out)+a);
marci@168:       else  
marci@168: 	flow->set(e.in, flow->get(e.in)-a);
marci@168:     }
marci@168: 
marci@174:     Number free(const Edge& e) const { 
marci@168:       if (e.out_or_in) 
marci@168: 	return (capacity->get(e.out)-flow->get(e.out)); 
marci@168:       else 
marci@168: 	return (flow->get(e.in)); 
marci@168:     }
marci@168: 
marci@168:     Number free(OldOutEdgeIt out) const { 
marci@168:       return (capacity->get(out)-flow->get(out)); 
marci@168:     }
marci@168:     
marci@168:     Number free(OldInEdgeIt in) const { 
marci@168:       return (flow->get(in)); 
marci@168:     }
marci@168: 
marci@259:     template<typename T> class NodeMap : public GraphWrapper::NodeMap<T> { 
marci@155:     public:
marci@155:       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G) 
marci@259: 	: GraphWrapper::NodeMap<T>(_G.gw) { }
marci@155:       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G, 
marci@259: 	      T a) : GraphWrapper::NodeMap<T>(_G.gw, a) { }
marci@155:     };
marci@155: 
marci@155: //     template <typename T>
marci@155: //     class NodeMap {
marci@155: //       typename Graph::NodeMap<T> node_map; 
marci@155: //     public:
marci@174: //       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G) : node_map(*(_G.graph)) { }
marci@174: //       NodeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G, T a) : node_map(*(_G.graph), a) { }
marci@174: //       void set(Node nit, T a) { node_map.set(nit, a); }
marci@174: //       T get(Node nit) const { return node_map.get(nit); }
marci@155: //     };
marci@155: 
marci@155:     template <typename T>
marci@155:     class EdgeMap {
marci@259:       typename GraphWrapper::EdgeMap<T> forward_map, backward_map; 
marci@155:     public:
marci@259:       EdgeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G) : forward_map(_G.gw), backward_map(_G.gw) { }
marci@259:       EdgeMap(const ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G, T a) : forward_map(_G.gw, a), backward_map(_G.gw, a) { }
marci@174:       void set(Edge e, T a) { 
marci@155: 	if (e.out_or_in) 
marci@155: 	  forward_map.set(e.out, a); 
marci@155: 	else 
marci@155: 	  backward_map.set(e.in, a); 
marci@155:       }
marci@174:       T get(Edge e) { 
marci@155: 	if (e.out_or_in) 
marci@155: 	  return forward_map.get(e.out); 
marci@155: 	else 
marci@155: 	  return backward_map.get(e.in); 
marci@155:       }
marci@155:     };
marci@168:   };
marci@168: 
marci@168:   template<typename Graph, typename Number, typename FlowMap, typename CapacityMap>
marci@168:   class ErasingResGraphWrapper : public ResGraphWrapper<Graph, Number, FlowMap, CapacityMap> {
marci@168:   protected:
marci@168:     ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<typename ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::OutEdgeIt> first_out_edges;
marci@168:     //ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<int> dist;
marci@168:   public:
marci@168:     ErasingResGraphWrapper(const Graph& _G, FlowMap& _flow, 
marci@168: 			   const CapacityMap& _capacity) : 
marci@168:       ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>(_G, _flow, _capacity), 
marci@168:       first_out_edges(*this) /*, dist(*this)*/ { 
marci@174:       for(NodeIt n=this->template first<NodeIt>(); this->valid(n); this->next(n)) {
marci@168: 	OutEdgeIt e;
marci@212: 	ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::first(e, n);
marci@168: 	first_out_edges.set(n, e);
marci@168:       }
marci@168:     }
marci@168: 
marci@168:     //void setGraph(Graph& _graph) { graph = &_graph; }
marci@168:     //Graph& getGraph() const { return (*graph); }
marci@168:   
marci@168:     //TrivGraphWrapper() : graph(0) { }
marci@168:     //ErasingResGraphWrapper(Graph& _graph) : graph(&_graph) { }
marci@168: 
marci@168:     //typedef Graph BaseGraph;
marci@168: 
marci@174:     //typedef typename Graph::Node Node;
marci@168:     //typedef typename Graph::NodeIt NodeIt;
marci@168: 
marci@174:     //typedef typename Graph::Edge Edge;
marci@168:     //typedef typename Graph::OutEdgeIt OutEdgeIt;
marci@168:     //typedef typename Graph::InEdgeIt InEdgeIt;
marci@168:     //typedef typename Graph::SymEdgeIt SymEdgeIt;
marci@174:     //typedef typename Graph::EdgeIt EdgeIt;
marci@168: 
marci@174:     typedef typename ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::Node Node;
marci@168:     typedef typename ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeIt NodeIt;
marci@168: 
marci@174:     typedef typename ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::Edge Edge;
marci@168:     typedef typename ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::OutEdgeIt OutEdgeIt;
marci@168:     //typedef typename ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::InEdgeIt InEdgeIt;
marci@168:     //typedef typename Graph::SymEdgeIt SymEdgeIt;
marci@174:     //typedef typename ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::EdgeIt EdgeIt;
marci@168: 
marci@212:     NodeIt& first(NodeIt& n) const { 
marci@212:       return ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::first(n);
marci@168:     }
marci@168: 
marci@212:     OutEdgeIt& first(OutEdgeIt& e, const Node& n) const { 
marci@168:       e=first_out_edges.get(n);
marci@168:       return e;
marci@168:     }
marci@168:     
marci@212:     //ROSSZ template<typename I> I& first(I& i) const { return first(i); }
marci@212:     //ROSSZ template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@212:     //  return first(i, p); }
marci@168:     
marci@168:     //template<typename I> I getNext(const I& i) const { 
marci@259:     //  return gw.getNext(i); }
marci@259:     //template<typename I> I& next(I &i) const { return gw.next(i); }    
marci@168: 
marci@168:     template< typename It > It first() const { 
marci@212:       It e; first(e); return e; }
marci@168: 
marci@174:     template< typename It > It first(const Node& v) const { 
marci@212:       It e; first(e, v); return e; }
marci@168: 
marci@259:     //Node head(const Edge& e) const { return gw.head(e); }
marci@259:     //Node tail(const Edge& e) const { return gw.tail(e); }
marci@168: 
marci@168:     //template<typename I> bool valid(const I& i) const 
marci@259:     //  { return gw.valid(i); }
marci@168:   
marci@259:     //int nodeNum() const { return gw.nodeNum(); }
marci@259:     //int edgeNum() const { return gw.edgeNum(); }
marci@168:   
marci@174:     //template<typename I> Node aNode(const I& e) const { 
marci@259:     //  return gw.aNode(e); }
marci@174:     //template<typename I> Node bNode(const I& e) const { 
marci@259:     //  return gw.bNode(e); }
marci@168:   
marci@259:     //Node addNode() const { return gw.addNode(); }
marci@174:     //Edge addEdge(const Node& tail, const Node& head) const { 
marci@259:     //  return gw.addEdge(tail, head); }
marci@168:   
marci@168:     //void erase(const OutEdgeIt& e) {
marci@168:     //  first_out_edge(this->tail(e))=e;
marci@168:     //}
marci@174:     void erase(const Edge& e) {
marci@168:       OutEdgeIt f(e);
marci@168:       next(f);
marci@168:       first_out_edges.set(this->tail(e), f);
marci@168:     }
marci@259:     //template<typename I> void erase(const I& i) const { gw.erase(i); }
marci@168:   
marci@259:     //void clear() const { gw.clear(); }
marci@168:     
marci@168:     template<typename T> class NodeMap : public ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<T> { 
marci@168:     public:
marci@168:       NodeMap(const ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G) : 
marci@168: 	ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<T>(_G /*_G.getGraph()*/) { }
marci@168:       NodeMap(const ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G, T a) : 
marci@168: 	ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<T>(_G /*_G.getGraph()*/, a) { }
marci@168:     };
marci@168: 
marci@168:     template<typename T> class EdgeMap : public ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::EdgeMap<T> { 
marci@168:     public:
marci@168:       EdgeMap(const ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G) : 
marci@168: 	ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::EdgeMap<T>(_G /*_G.getGraph()*/) { }
marci@168:       EdgeMap(const ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>& _G, T a) : 
marci@168: 	ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::EdgeMap<T>(_G /*_G.getGraph()*/, a) { }
marci@168:     };
marci@168:   };
marci@168: 
marci@168:   template<typename GraphWrapper> 
marci@168:   class FilterGraphWrapper {
marci@168:   };
marci@168: 
marci@168:   template<typename Graph, typename Number, typename FlowMap, typename CapacityMap>
marci@168:   class FilterGraphWrapper<ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap> > : public ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap> {
marci@168: 
marci@168:     //Graph* graph;
marci@168:   
marci@168:   public:
marci@168:     //typedef Graph BaseGraph;
marci@168: 
marci@174:     typedef typename ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::Node Node;
marci@168:     typedef typename ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeIt NodeIt;
marci@168: 
marci@174:     typedef typename ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::Edge Edge;
marci@168:     typedef typename ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::OutEdgeIt OutEdgeIt;
marci@168:     //typedef typename ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::InEdgeIt InEdgeIt;
marci@168:     //typedef typename Graph::SymEdgeIt SymEdgeIt;
marci@174:     typedef typename ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::EdgeIt EdgeIt;
marci@168: 
marci@168:     //FilterGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<typename ResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::OutEdgeIt> first_out_edges;
marci@168:     
marci@168:   public:
marci@168:     FilterGraphWrapper(const Graph& _G, FlowMap& _flow, 
marci@168: 			   const CapacityMap& _capacity) : 
marci@259:       ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>(_G, _flow, _capacity), dist(*this, gw.nodeNum()) { 
marci@168:     }
marci@168: 
marci@212:     OutEdgeIt& first(OutEdgeIt& e, const Node& n) const {
marci@212:       ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::first(e, n);
marci@199:       while (valid(e) && (dist.get(tail(e))/*+1!=*/>=dist.get(head(e)))) 
marci@168: 	ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::next(e);
marci@168:       return e;
marci@168:     }
marci@168: 
marci@174:     NodeIt& next(NodeIt& e) const {
marci@168:       return ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::next(e);
marci@168:     }
marci@168: 
marci@168:     OutEdgeIt& next(OutEdgeIt& e) const {
marci@168:       ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::next(e);
marci@199:       while (valid(e) && (dist.get(tail(e))/*+1!*/>=dist.get(head(e)))) 
marci@168: 	ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::next(e);
marci@168:       return e;
marci@168:     }
marci@168: 
marci@212:     NodeIt& first(NodeIt& n) const {
marci@212:       return ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::first(n);
marci@168:     }
marci@168: 
marci@174:     void erase(const Edge& e) {
marci@168:       OutEdgeIt f(e);
marci@168:       ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::next(f);
marci@199:       while (valid(f) && (dist.get(tail(f))/*+1!=*/>=dist.get(head(f)))) 
marci@168: 	ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::next(f);
marci@168:       first_out_edges.set(this->tail(e), f);
marci@168:     }
marci@168: 
marci@168:     //TrivGraphWrapper() : graph(0) { }
marci@168:     //TrivGraphWrapper(Graph& _graph) : graph(&_graph) { }
marci@168: 
marci@168:     //void setGraph(Graph& _graph) { graph = &_graph; }
marci@168:     //Graph& getGraph() const { return (*graph); }
marci@168:     
marci@259:     //template<typename I> I& first(I& i) const { return gw.first(i); }
marci@212:     //template<typename I, typename P> I& first(I& i, const P& p) const { 
marci@259:     //  return gw.first(i, p); }
marci@168:     
marci@168:     //template<typename I> I getNext(const I& i) const { 
marci@259:     //  return gw.getNext(i); }
marci@259:     //template<typename I> I& next(I &i) const { return gw.next(i); }    
marci@168: 
marci@168:     template< typename It > It first() const { 
marci@212:       It e; first(e); return e; }
marci@168: 
marci@174:     template< typename It > It first(const Node& v) const { 
marci@212:       It e; first(e, v); return e; }
marci@168: 
marci@259:     //Node head(const Edge& e) const { return gw.head(e); }
marci@259:     //Node tail(const Edge& e) const { return gw.tail(e); }
marci@168: 
marci@168:     //template<typename I> bool valid(const I& i) const 
marci@259:     //  { return gw.valid(i); }
marci@168:   
marci@168:     //template<typename I> void setInvalid(const I &i);
marci@259:     //{ return gw.setInvalid(i); }
marci@168: 
marci@259:     //int nodeNum() const { return gw.nodeNum(); }
marci@259:     //int edgeNum() const { return gw.edgeNum(); }
marci@168:   
marci@174:     //template<typename I> Node aNode(const I& e) const { 
marci@259:     //  return gw.aNode(e); }
marci@174:     //template<typename I> Node bNode(const I& e) const { 
marci@259:     //  return gw.bNode(e); }
marci@168:   
marci@259:     //Node addNode() const { return gw.addNode(); }
marci@174:     //Edge addEdge(const Node& tail, const Node& head) const { 
marci@259:     //  return gw.addEdge(tail, head); }
marci@168:   
marci@259:     //template<typename I> void erase(const I& i) const { gw.erase(i); }
marci@168:   
marci@259:     //void clear() const { gw.clear(); }
marci@168:     
marci@168:     template<typename T> class NodeMap : public ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<T> { 
marci@168:     public:
marci@168:       NodeMap(const FilterGraphWrapper<ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap> >& _G) : 
marci@168: 	ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<T>(_G /*_G.getGraph()*/) { }
marci@168:       NodeMap(const FilterGraphWrapper<ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap> >& _G, T a) : 
marci@168: 	ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<T>(_G /*_G.getGraph()*/, a) { }
marci@168:     };
marci@168: 
marci@168:     template<typename T> class EdgeMap : public ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::EdgeMap<T> { 
marci@168:     public:
marci@168:       EdgeMap(const FilterGraphWrapper<ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap> >& _G) : 
marci@168: 	ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::EdgeMap<T>(_G /*_G.getGraph()*/) { }
marci@168:       EdgeMap(const FilterGraphWrapper<ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap> >& _G, T a) : 
marci@168: 	ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::EdgeMap<T>(_G /*_G.getGraph()*/, a) { }
marci@168:     };
marci@168: 
marci@168:   public:
marci@168:     ErasingResGraphWrapper<Graph, Number, FlowMap, CapacityMap>::NodeMap<int> dist;
marci@155: 
marci@76:   };
marci@76: 
marci@76: 
marci@148: 
marci@148: // // FIXME: comparison should be made better!!!
marci@148: //   template<typename Graph, typename T, typename LowerMap, typename FlowMap, typename UpperMap>
marci@148: //   class ResGraphWrapper
marci@148: //   {
marci@148: //     Graph* graph;
marci@76:   
marci@148: //   public:
marci@148: //     typedef Graph BaseGraph;
marci@76: 
marci@174: //     typedef typename Graph::Node Node;
marci@174: //     typedef typename Graph::Edge Edge;
marci@174:   
marci@148: //     typedef typename Graph::NodeIt NodeIt;
marci@76:    
marci@148: //     class OutEdgeIt {
marci@148: //     public:
marci@174: //       //Graph::Node n;
marci@148: //       bool out_or_in;
marci@148: //       typename Graph::OutEdgeIt o;
marci@148: //       typename Graph::InEdgeIt i;   
marci@148: //     };
marci@148: //     class InEdgeIt {
marci@148: //     public:
marci@174: //       //Graph::Node n;
marci@148: //       bool out_or_in;
marci@148: //       typename Graph::OutEdgeIt o;
marci@148: //       typename Graph::InEdgeIt i;   
marci@148: //     };
marci@148: //     typedef typename Graph::SymEdgeIt SymEdgeIt;
marci@174: //     typedef typename Graph::EdgeIt EdgeIt;
marci@76: 
marci@259: //     int nodeNum() const { return gw.nodeNum(); }
marci@259: //     int edgeNum() const { return gw.edgeNum(); }
marci@76: 
marci@259: //     Node& first(Node& n) const { return gw.first(n); }
marci@76: 
marci@174: //     // Edge and SymEdge  is missing!!!!
marci@174: //     // Edge <-> In/OutEdgeIt conversion is missing!!!!
marci@76: 
marci@148: //     //FIXME
marci@212: //     OutEdgeIt& first(OutEdgeIt& e, const Node& n) const 
marci@148: //       {
marci@148: // 	e.n=n;
marci@259: // 	gw.first(e.o,n);
marci@259: // 	while(gw.valid(e.o) && fmap.get(e.o)>=himap.get(e.o))
marci@259: // 	  gw.goNext(e.o);
marci@259: // 	if(!gw.valid(e.o)) {
marci@259: // 	  gw.first(e.i,n);
marci@259: // 	  while(gw.valid(e.i) && fmap.get(e.i)<=lomap.get(e.i))
marci@259: // 	    gw.goNext(e.i);
marci@148: // 	}
marci@148: // 	return e;
marci@148: //       }
marci@148: // /*
marci@148: //   OutEdgeIt &goNext(OutEdgeIt &e)
marci@148: //   {
marci@259: //   if(gw.valid(e.o)) {
marci@259: //   while(gw.valid(e.o) && fmap.get(e.o)>=himap.get(e.o))
marci@259: //   gw.goNext(e.o);
marci@259: //   if(gw.valid(e.o)) return e;
marci@259: //   else gw.first(e.i,e.n);
marci@148: //   }
marci@148: //   else {
marci@259: //   while(gw.valid(e.i) && fmap.get(e.i)<=lomap.get(e.i))
marci@259: //   gw.goNext(e.i);
marci@148: //   return e;
marci@148: //   }
marci@148: //   }
marci@148: //   OutEdgeIt Next(const OutEdgeIt &e) {OutEdgeIt t(e); return goNext(t);}
marci@148: // */
marci@259: //     //bool valid(const OutEdgeIt e) { return gw.valid(e.o)||gw.valid(e.i);}
marci@76: 
marci@148: //     //FIXME
marci@212: //     InEdgeIt& first(InEdgeIt& e, const Node& n) const 
marci@148: //       {
marci@148: // 	e.n=n;
marci@259: // 	gw.first(e.i,n);
marci@259: // 	while(gw.valid(e.i) && fmap.get(e.i)>=himap.get(e.i))
marci@259: // 	  gw.goNext(e.i);
marci@259: // 	if(!gw.valid(e.i)) {
marci@259: // 	  gw.first(e.o,n);
marci@259: // 	  while(gw.valid(e.o) && fmap.get(e.o)<=lomap.get(e.o))
marci@259: // 	    gw.goNext(e.o);
marci@148: // 	}
marci@148: // 	return e;
marci@148: //       }
marci@148: // /*
marci@148: //   InEdgeIt &goNext(InEdgeIt &e)
marci@148: //   {
marci@259: //   if(gw.valid(e.i)) {
marci@259: //   while(gw.valid(e.i) && fmap.get(e.i)>=himap.get(e.i))
marci@259: //   gw.goNext(e.i);
marci@259: //   if(gw.valid(e.i)) return e;
marci@259: //   else gw.first(e.o,e.n);
marci@148: //   }
marci@148: //   else {
marci@259: //   while(gw.valid(e.o) && fmap.get(e.o)<=lomap.get(e.o))
marci@259: //   gw.goNext(e.o);
marci@148: //   return e;
marci@148: //   }
marci@148: //   }
marci@148: //   InEdgeIt Next(const InEdgeIt &e) {InEdgeIt t(e); return goNext(t);}
marci@148: // */
marci@259: //     //bool valid(const InEdgeIt e) { return gw.valid(e.i)||gw.valid(e.o);}
marci@76: 
marci@259: //     //template<typename I> I &goNext(I &i); { return gw.goNext(i); }
marci@259: //     //template<typename I> I next(const I i); { return gw.goNext(i); }
marci@76: 
marci@148: //     template< typename It > It first() const { 
marci@212: //       It e; first(e); return e; }
marci@76: 
marci@174: //     template< typename It > It first(Node v) const { 
marci@212: //       It e; first(e, v); return e; }
marci@76: 
marci@259: //     Node head(const Edge& e) const { return gw.head(e); }
marci@259: //     Node tail(const Edge& e) const { return gw.tail(e); }
marci@76:   
marci@174: //     template<typename I> Node aNode(const I& e) const { 
marci@259: //       return gw.aNode(e); }
marci@174: //     template<typename I> Node bNode(const I& e) const { 
marci@259: //       return gw.bNode(e); }
marci@76:   
marci@148: //     //template<typename I> bool valid(const I i);
marci@259: //     //{ return gw.valid(i); }
marci@76:   
marci@148: //     //template<typename I> void setInvalid(const I &i);
marci@259: //     //{ return gw.setInvalid(i); }
marci@76:   
marci@259: //     Node addNode() { return gw.addNode(); }
marci@174: //     Edge addEdge(const Node& tail, const Node& head) { 
marci@259: //       return gw.addEdge(tail, head); }
marci@76:   
marci@259: //     template<typename I> void erase(const I& i) { gw.erase(i); }
marci@76:   
marci@259: //     void clear() { gw.clear(); }
marci@76:   
marci@148: //     template<typename S> class NodeMap : public Graph::NodeMap<S> { };
marci@148: //     template<typename S> class EdgeMap : public Graph::EdgeMap<S> { };
marci@76:   
marci@148: //     void setGraph(Graph& _graph) { graph = &_graph; }
marci@148: //     Graph& getGraph() { return (*graph); }
marci@76: 
marci@148: //     //ResGraphWrapper() : graph(0) { }
marci@148: //     ResGraphWrapper(Graph& _graph) : graph(&_graph) { }
marci@148: //   };
marci@76: 
alpar@105: } //namespace hugo
marci@76: 
marci@259: #endif //HUGO_GRAPH_WRAPPER_H
marci@76: