3 * This file is a part of LEMON, a generic C++ optimization library
5 * Copyright (C) 2003-2006
6 * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
7 * (Egervary Research Group on Combinatorial Optimization, EGRES).
9 * Permission to use, modify and distribute this software is granted
10 * provided that this copyright notice appears in all copies. For
11 * precise terms see the accompanying LICENSE file.
13 * This software is provided "AS IS" with no warranty of any kind,
14 * express or implied, and with no claim as to its suitability for any
19 #ifndef LEMON_UGRAPH_ADAPTOR_H
20 #define LEMON_UGRAPH_ADAPTOR_H
22 ///\ingroup graph_adaptors
24 ///\brief Several graph adaptors.
26 ///This file contains several useful ugraph adaptor functions.
28 ///\author Balazs Dezso
30 #include <lemon/bits/invalid.h>
31 #include <lemon/maps.h>
33 #include <lemon/bits/graph_adaptor_extender.h>
35 #include <lemon/bits/traits.h>
41 /// \ingroup graph_adaptors
43 /// \brief Base type for the Graph Adaptors
45 /// This is the base type for most of LEMON graph adaptors.
46 /// This class implements a trivial graph adaptor i.e. it only wraps the
47 /// functions and types of the graph. The purpose of this class is to
48 /// make easier implementing graph adaptors. E.g. if an adaptor is
49 /// considered which differs from the wrapped graph only in some of its
50 /// functions or types, then it can be derived from GraphAdaptor, and only
51 /// the differences should be implemented.
53 /// \author Balazs Dezso
54 template<typename _UGraph>
55 class UGraphAdaptorBase {
57 typedef _UGraph Graph;
58 typedef Graph ParentGraph;
63 UGraphAdaptorBase() : graph(0) {}
65 void setGraph(Graph& _graph) { graph=&_graph; }
68 UGraphAdaptorBase(Graph& _graph) : graph(&_graph) {}
70 typedef typename Graph::Node Node;
71 typedef typename Graph::Edge Edge;
72 typedef typename Graph::UEdge UEdge;
74 void first(Node& i) const { graph->first(i); }
75 void first(Edge& i) const { graph->first(i); }
76 void first(UEdge& i) const { graph->first(i); }
77 void firstIn(Edge& i, const Node& n) const { graph->firstIn(i, n); }
78 void firstOut(Edge& i, const Node& n ) const { graph->firstOut(i, n); }
79 void firstInc(UEdge &i, bool &d, const Node &n) const {
80 graph->firstInc(i, d, n);
83 void next(Node& i) const { graph->next(i); }
84 void next(Edge& i) const { graph->next(i); }
85 void next(UEdge& i) const { graph->next(i); }
86 void nextIn(Edge& i) const { graph->nextIn(i); }
87 void nextOut(Edge& i) const { graph->nextOut(i); }
88 void nextInc(UEdge &i, bool &d) const { graph->nextInc(i, d); }
90 Node source(const UEdge& e) const { return graph->source(e); }
91 Node target(const UEdge& e) const { return graph->target(e); }
93 Node source(const Edge& e) const { return graph->source(e); }
94 Node target(const Edge& e) const { return graph->target(e); }
96 typedef NodeNumTagIndicator<Graph> NodeNumTag;
97 int nodeNum() const { return graph->nodeNum(); }
99 typedef EdgeNumTagIndicator<Graph> EdgeNumTag;
100 int edgeNum() const { return graph->edgeNum(); }
101 int uEdgeNum() const { return graph->uEdgeNum(); }
103 typedef FindEdgeTagIndicator<Graph> FindEdgeTag;
104 Edge findEdge(const Node& source, const Node& target,
105 const Edge& prev = INVALID) {
106 return graph->findEdge(source, target, prev);
108 UEdge findUEdge(const Node& source, const Node& target,
109 const UEdge& prev = INVALID) {
110 return graph->findUEdge(source, target, prev);
113 Node addNode() const { return graph->addNode(); }
114 UEdge addEdge(const Node& source, const Node& target) const {
115 return graph->addEdge(source, target);
118 void erase(const Node& i) const { graph->erase(i); }
119 void erase(const UEdge& i) const { graph->erase(i); }
121 void clear() const { graph->clear(); }
123 bool direction(const Edge& e) const { return graph->direction(e); }
124 Edge direct(const UEdge& e, bool d) const { return graph->direct(e, d); }
126 int id(const Node& v) const { return graph->id(v); }
127 int id(const Edge& e) const { return graph->id(e); }
128 int id(const UEdge& e) const { return graph->id(e); }
130 Node fromNodeId(int id) const {
131 return graph->fromNodeId(id);
134 Edge fromEdgeId(int id) const {
135 return graph->fromEdgeId(id);
138 UEdge fromUEdgeId(int id) const {
139 return graph->fromUEdgeId(id);
142 int maxNodeId() const {
143 return graph->maxNodeId();
146 int maxEdgeId() const {
147 return graph->maxEdgeId();
150 int maxUEdgeId() const {
151 return graph->maxEdgeId();
154 typedef typename ItemSetTraits<Graph, Node>::ItemNotifier NodeNotifier;
156 NodeNotifier& getNotifier(Node) const {
157 return graph->getNotifier(Node());
160 typedef typename ItemSetTraits<Graph, Edge>::ItemNotifier EdgeNotifier;
162 EdgeNotifier& getNotifier(Edge) const {
163 return graph->getNotifier(Edge());
166 typedef typename ItemSetTraits<Graph, UEdge>::ItemNotifier UEdgeNotifier;
168 UEdgeNotifier& getNotifier(UEdge) const {
169 return graph->getNotifier(UEdge());
172 template <typename _Value>
173 class NodeMap : public Graph::template NodeMap<_Value> {
175 typedef typename Graph::template NodeMap<_Value> Parent;
176 explicit NodeMap(const UGraphAdaptorBase<Graph>& ga)
177 : Parent(*ga.graph) {}
178 NodeMap(const UGraphAdaptorBase<Graph>& ga, const _Value& value)
179 : Parent(*ga.graph, value) {}
181 NodeMap& operator=(const NodeMap& cmap) {
182 return operator=<NodeMap>(cmap);
185 template <typename CMap>
186 NodeMap& operator=(const CMap& cmap) {
187 Parent::operator=(cmap);
193 template <typename _Value>
194 class EdgeMap : public Graph::template EdgeMap<_Value> {
196 typedef typename Graph::template EdgeMap<_Value> Parent;
197 explicit EdgeMap(const UGraphAdaptorBase<Graph>& ga)
198 : Parent(*ga.graph) {}
199 EdgeMap(const UGraphAdaptorBase<Graph>& ga, const _Value& value)
200 : Parent(*ga.graph, value) {}
202 EdgeMap& operator=(const EdgeMap& cmap) {
203 return operator=<EdgeMap>(cmap);
206 template <typename CMap>
207 EdgeMap& operator=(const CMap& cmap) {
208 Parent::operator=(cmap);
213 template <typename _Value>
214 class UEdgeMap : public Graph::template UEdgeMap<_Value> {
216 typedef typename Graph::template UEdgeMap<_Value> Parent;
217 explicit UEdgeMap(const UGraphAdaptorBase<Graph>& ga)
218 : Parent(*ga.graph) {}
219 UEdgeMap(const UGraphAdaptorBase<Graph>& ga, const _Value& value)
220 : Parent(*ga.graph, value) {}
222 UEdgeMap& operator=(const UEdgeMap& cmap) {
223 return operator=<UEdgeMap>(cmap);
226 template <typename CMap>
227 UEdgeMap& operator=(const CMap& cmap) {
228 Parent::operator=(cmap);
235 /// \ingroup graph_adaptors
236 template <typename _UGraph>
238 : public UGraphAdaptorExtender< UGraphAdaptorBase<_UGraph> > {
240 typedef _UGraph Graph;
241 typedef UGraphAdaptorExtender<UGraphAdaptorBase<_UGraph> > Parent;
243 UGraphAdaptor() : Parent() {}
246 explicit UGraphAdaptor(Graph& _graph) { setGraph(_graph); }
249 template <typename _UGraph, typename NodeFilterMap,
250 typename UEdgeFilterMap, bool checked = true>
251 class SubUGraphAdaptorBase : public UGraphAdaptorBase<_UGraph> {
253 typedef _UGraph Graph;
254 typedef SubUGraphAdaptorBase Adaptor;
255 typedef UGraphAdaptorBase<_UGraph> Parent;
258 NodeFilterMap* node_filter_map;
259 UEdgeFilterMap* uedge_filter_map;
261 SubUGraphAdaptorBase()
262 : Parent(), node_filter_map(0), uedge_filter_map(0) { }
264 void setNodeFilterMap(NodeFilterMap& _node_filter_map) {
265 node_filter_map=&_node_filter_map;
267 void setUEdgeFilterMap(UEdgeFilterMap& _uedge_filter_map) {
268 uedge_filter_map=&_uedge_filter_map;
273 typedef typename Parent::Node Node;
274 typedef typename Parent::Edge Edge;
275 typedef typename Parent::UEdge UEdge;
277 void first(Node& i) const {
279 while (i!=INVALID && !(*node_filter_map)[i]) Parent::next(i);
282 void first(Edge& i) const {
284 while (i!=INVALID && (!(*uedge_filter_map)[i]
285 || !(*node_filter_map)[Parent::source(i)]
286 || !(*node_filter_map)[Parent::target(i)])) Parent::next(i);
289 void first(UEdge& i) const {
291 while (i!=INVALID && (!(*uedge_filter_map)[i]
292 || !(*node_filter_map)[Parent::source(i)]
293 || !(*node_filter_map)[Parent::target(i)])) Parent::next(i);
296 void firstIn(Edge& i, const Node& n) const {
297 Parent::firstIn(i, n);
298 while (i!=INVALID && (!(*uedge_filter_map)[i]
299 || !(*node_filter_map)[Parent::source(i)])) Parent::nextIn(i);
302 void firstOut(Edge& i, const Node& n) const {
303 Parent::firstOut(i, n);
304 while (i!=INVALID && (!(*uedge_filter_map)[i]
305 || !(*node_filter_map)[Parent::target(i)])) Parent::nextOut(i);
308 void firstInc(UEdge& i, bool& d, const Node& n) const {
309 Parent::firstInc(i, d, n);
310 while (i!=INVALID && (!(*uedge_filter_map)[i]
311 || !(*node_filter_map)[Parent::target(i)])) Parent::nextInc(i, d);
314 void next(Node& i) const {
316 while (i!=INVALID && !(*node_filter_map)[i]) Parent::next(i);
319 void next(Edge& i) const {
321 while (i!=INVALID && (!(*uedge_filter_map)[i]
322 || !(*node_filter_map)[Parent::source(i)]
323 || !(*node_filter_map)[Parent::target(i)])) Parent::next(i);
326 void next(UEdge& i) const {
328 while (i!=INVALID && (!(*uedge_filter_map)[i]
329 || !(*node_filter_map)[Parent::source(i)]
330 || !(*node_filter_map)[Parent::target(i)])) Parent::next(i);
333 void nextIn(Edge& i) const {
335 while (i!=INVALID && (!(*uedge_filter_map)[i]
336 || !(*node_filter_map)[Parent::source(i)])) Parent::nextIn(i);
339 void nextOut(Edge& i) const {
341 while (i!=INVALID && (!(*uedge_filter_map)[i]
342 || !(*node_filter_map)[Parent::target(i)])) Parent::nextOut(i);
345 void nextInc(UEdge& i, bool& d) const {
346 Parent::nextInc(i, d);
347 while (i!=INVALID && (!(*uedge_filter_map)[i]
348 || !(*node_filter_map)[Parent::source(i)])) Parent::nextInc(i, d);
353 /// This function hides \c n in the graph, i.e. the iteration
354 /// jumps over it. This is done by simply setting the value of \c n
355 /// to be false in the corresponding node-map.
356 void hide(const Node& n) const { node_filter_map->set(n, false); }
360 /// This function hides \c e in the graph, i.e. the iteration
361 /// jumps over it. This is done by simply setting the value of \c e
362 /// to be false in the corresponding edge-map.
363 void hide(const UEdge& e) const { uedge_filter_map->set(e, false); }
367 /// The value of \c n is set to be true in the node-map which stores
368 /// hide information. If \c n was hidden previuosly, then it is shown
370 void unHide(const Node& n) const { node_filter_map->set(n, true); }
374 /// The value of \c e is set to be true in the edge-map which stores
375 /// hide information. If \c e was hidden previuosly, then it is shown
377 void unHide(const UEdge& e) const { uedge_filter_map->set(e, true); }
379 /// Returns true if \c n is hidden.
383 bool hidden(const Node& n) const { return !(*node_filter_map)[n]; }
385 /// Returns true if \c n is hidden.
389 bool hidden(const UEdge& e) const { return !(*uedge_filter_map)[e]; }
391 typedef False NodeNumTag;
392 typedef False EdgeNumTag;
394 typedef FindEdgeTagIndicator<Graph> FindEdgeTag;
395 Edge findEdge(const Node& source, const Node& target,
396 const Edge& prev = INVALID) {
397 if (!(*node_filter_map)[source] || !(*node_filter_map)[target]) {
400 Edge edge = Parent::findEdge(source, target, prev);
401 while (edge != INVALID && !(*uedge_filter_map)[edge]) {
402 edge = Parent::findEdge(source, target, edge);
406 UEdge findUEdge(const Node& source, const Node& target,
407 const UEdge& prev = INVALID) {
408 if (!(*node_filter_map)[source] || !(*node_filter_map)[target]) {
411 UEdge uedge = Parent::findUEdge(source, target, prev);
412 while (uedge != INVALID && !(*uedge_filter_map)[uedge]) {
413 uedge = Parent::findUEdge(source, target, uedge);
418 template <typename _Value>
420 : public SubMapExtender<Adaptor,
421 typename Parent::template NodeMap<_Value> >
424 typedef Adaptor Graph;
425 typedef SubMapExtender<Adaptor, typename Parent::
426 template NodeMap<_Value> > Parent;
428 NodeMap(const Graph& graph)
430 NodeMap(const Graph& graph, const _Value& value)
431 : Parent(graph, value) {}
433 NodeMap& operator=(const NodeMap& cmap) {
434 return operator=<NodeMap>(cmap);
437 template <typename CMap>
438 NodeMap& operator=(const CMap& cmap) {
439 Parent::operator=(cmap);
444 template <typename _Value>
446 : public SubMapExtender<Adaptor,
447 typename Parent::template EdgeMap<_Value> >
450 typedef Adaptor Graph;
451 typedef SubMapExtender<Adaptor, typename Parent::
452 template EdgeMap<_Value> > Parent;
454 EdgeMap(const Graph& graph)
456 EdgeMap(const Graph& graph, const _Value& value)
457 : Parent(graph, value) {}
459 EdgeMap& operator=(const EdgeMap& cmap) {
460 return operator=<EdgeMap>(cmap);
463 template <typename CMap>
464 EdgeMap& operator=(const CMap& cmap) {
465 Parent::operator=(cmap);
470 template <typename _Value>
472 : public SubMapExtender<Adaptor,
473 typename Parent::template UEdgeMap<_Value> >
476 typedef Adaptor Graph;
477 typedef SubMapExtender<Adaptor, typename Parent::
478 template UEdgeMap<_Value> > Parent;
480 UEdgeMap(const Graph& graph)
482 UEdgeMap(const Graph& graph, const _Value& value)
483 : Parent(graph, value) {}
485 UEdgeMap& operator=(const UEdgeMap& cmap) {
486 return operator=<UEdgeMap>(cmap);
489 template <typename CMap>
490 UEdgeMap& operator=(const CMap& cmap) {
491 Parent::operator=(cmap);
498 template <typename _UGraph, typename NodeFilterMap, typename UEdgeFilterMap>
499 class SubUGraphAdaptorBase<_UGraph, NodeFilterMap, UEdgeFilterMap, false>
500 : public UGraphAdaptorBase<_UGraph> {
502 typedef _UGraph Graph;
503 typedef SubUGraphAdaptorBase Adaptor;
504 typedef UGraphAdaptorBase<_UGraph> Parent;
506 NodeFilterMap* node_filter_map;
507 UEdgeFilterMap* uedge_filter_map;
508 SubUGraphAdaptorBase() : Parent(),
509 node_filter_map(0), uedge_filter_map(0) { }
511 void setNodeFilterMap(NodeFilterMap& _node_filter_map) {
512 node_filter_map=&_node_filter_map;
514 void setUEdgeFilterMap(UEdgeFilterMap& _uedge_filter_map) {
515 uedge_filter_map=&_uedge_filter_map;
520 typedef typename Parent::Node Node;
521 typedef typename Parent::Edge Edge;
522 typedef typename Parent::UEdge UEdge;
524 void first(Node& i) const {
526 while (i!=INVALID && !(*node_filter_map)[i]) Parent::next(i);
529 void first(Edge& i) const {
531 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::next(i);
534 void first(UEdge& i) const {
536 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::next(i);
539 void firstIn(Edge& i, const Node& n) const {
540 Parent::firstIn(i, n);
541 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::nextIn(i);
544 void firstOut(Edge& i, const Node& n) const {
545 Parent::firstOut(i, n);
546 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::nextOut(i);
549 void firstInc(UEdge& i, bool& d, const Node& n) const {
550 Parent::firstInc(i, d, n);
551 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::nextInc(i, d);
554 void next(Node& i) const {
556 while (i!=INVALID && !(*node_filter_map)[i]) Parent::next(i);
558 void next(Edge& i) const {
560 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::next(i);
562 void next(UEdge& i) const {
564 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::next(i);
566 void nextIn(Edge& i) const {
568 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::nextIn(i);
571 void nextOut(Edge& i) const {
573 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::nextOut(i);
575 void nextInc(UEdge& i, bool& d) const {
576 Parent::nextInc(i, d);
577 while (i!=INVALID && !(*uedge_filter_map)[i]) Parent::nextInc(i, d);
582 /// This function hides \c n in the graph, i.e. the iteration
583 /// jumps over it. This is done by simply setting the value of \c n
584 /// to be false in the corresponding node-map.
585 void hide(const Node& n) const { node_filter_map->set(n, false); }
589 /// This function hides \c e in the graph, i.e. the iteration
590 /// jumps over it. This is done by simply setting the value of \c e
591 /// to be false in the corresponding edge-map.
592 void hide(const UEdge& e) const { uedge_filter_map->set(e, false); }
596 /// The value of \c n is set to be true in the node-map which stores
597 /// hide information. If \c n was hidden previuosly, then it is shown
599 void unHide(const Node& n) const { node_filter_map->set(n, true); }
603 /// The value of \c e is set to be true in the edge-map which stores
604 /// hide information. If \c e was hidden previuosly, then it is shown
606 void unHide(const UEdge& e) const { uedge_filter_map->set(e, true); }
608 /// Returns true if \c n is hidden.
612 bool hidden(const Node& n) const { return !(*node_filter_map)[n]; }
614 /// Returns true if \c n is hidden.
618 bool hidden(const UEdge& e) const { return !(*uedge_filter_map)[e]; }
620 typedef False NodeNumTag;
621 typedef False EdgeNumTag;
623 typedef FindEdgeTagIndicator<Graph> FindEdgeTag;
624 Edge findEdge(const Node& source, const Node& target,
625 const Edge& prev = INVALID) {
626 Edge edge = Parent::findEdge(source, target, prev);
627 while (edge != INVALID && !(*uedge_filter_map)[edge]) {
628 edge = Parent::findEdge(source, target, edge);
632 UEdge findUEdge(const Node& source, const Node& target,
633 const UEdge& prev = INVALID) {
634 UEdge uedge = Parent::findUEdge(source, target, prev);
635 while (uedge != INVALID && !(*uedge_filter_map)[uedge]) {
636 uedge = Parent::findUEdge(source, target, uedge);
641 template <typename _Value>
643 : public SubMapExtender<Adaptor,
644 typename Parent::template NodeMap<_Value> >
647 typedef Adaptor Graph;
648 typedef SubMapExtender<Adaptor, typename Parent::
649 template NodeMap<_Value> > Parent;
651 NodeMap(const Graph& graph)
653 NodeMap(const Graph& graph, const _Value& value)
654 : Parent(graph, value) {}
656 NodeMap& operator=(const NodeMap& cmap) {
657 return operator=<NodeMap>(cmap);
660 template <typename CMap>
661 NodeMap& operator=(const CMap& cmap) {
662 Parent::operator=(cmap);
667 template <typename _Value>
669 : public SubMapExtender<Adaptor,
670 typename Parent::template EdgeMap<_Value> >
673 typedef Adaptor Graph;
674 typedef SubMapExtender<Adaptor, typename Parent::
675 template EdgeMap<_Value> > Parent;
677 EdgeMap(const Graph& graph)
679 EdgeMap(const Graph& graph, const _Value& value)
680 : Parent(graph, value) {}
682 EdgeMap& operator=(const EdgeMap& cmap) {
683 return operator=<EdgeMap>(cmap);
686 template <typename CMap>
687 EdgeMap& operator=(const CMap& cmap) {
688 Parent::operator=(cmap);
693 template <typename _Value>
695 : public SubMapExtender<Adaptor,
696 typename Parent::template UEdgeMap<_Value> >
699 typedef Adaptor Graph;
700 typedef SubMapExtender<Adaptor, typename Parent::
701 template UEdgeMap<_Value> > Parent;
703 UEdgeMap(const Graph& graph)
705 UEdgeMap(const Graph& graph, const _Value& value)
706 : Parent(graph, value) {}
708 UEdgeMap& operator=(const UEdgeMap& cmap) {
709 return operator=<UEdgeMap>(cmap);
712 template <typename CMap>
713 UEdgeMap& operator=(const CMap& cmap) {
714 Parent::operator=(cmap);
720 /// \ingroup graph_adaptors
722 /// \brief A graph adaptor for hiding nodes and edges from an undirected
725 /// SubUGraphAdaptor shows the undirected graph with filtered node-set and
726 /// edge-set. If the \c checked parameter is true then it filters the edgeset
727 /// to do not get invalid edges without source or target.
729 /// If the \c checked template parameter is false then we have to note that
730 /// the node-iterator cares only the filter on the node-set, and the
731 /// edge-iterator cares only the filter on the edge-set.
732 /// This way the edge-map
733 /// should filter all edges which's source or target is filtered by the
736 /// Note that \c n is of type \c SubGA::NodeIt, but it can be converted to
737 /// \c Graph::Node that is why \c g.id(n) can be applied.
739 template<typename _UGraph, typename NodeFilterMap,
740 typename UEdgeFilterMap, bool checked = true>
741 class SubUGraphAdaptor :
742 public UGraphAdaptorExtender<
743 SubUGraphAdaptorBase<_UGraph, NodeFilterMap, UEdgeFilterMap, checked> > {
745 typedef _UGraph Graph;
746 typedef UGraphAdaptorExtender<
747 SubUGraphAdaptorBase<_UGraph, NodeFilterMap, UEdgeFilterMap> > Parent;
749 SubUGraphAdaptor() { }
751 SubUGraphAdaptor(Graph& _graph, NodeFilterMap& _node_filter_map,
752 UEdgeFilterMap& _uedge_filter_map) {
754 setNodeFilterMap(_node_filter_map);
755 setUEdgeFilterMap(_uedge_filter_map);
759 template<typename UGraph, typename NodeFilterMap, typename EdgeFilterMap>
760 SubUGraphAdaptor<const UGraph, NodeFilterMap, EdgeFilterMap>
761 subUGraphAdaptor(const UGraph& graph,
762 NodeFilterMap& nfm, EdgeFilterMap& efm) {
763 return SubUGraphAdaptor<const UGraph, NodeFilterMap, EdgeFilterMap>
767 template<typename UGraph, typename NodeFilterMap, typename EdgeFilterMap>
768 SubUGraphAdaptor<const UGraph, const NodeFilterMap, EdgeFilterMap>
769 subUGraphAdaptor(const UGraph& graph,
770 NodeFilterMap& nfm, EdgeFilterMap& efm) {
771 return SubUGraphAdaptor<const UGraph, const NodeFilterMap, EdgeFilterMap>
775 template<typename UGraph, typename NodeFilterMap, typename EdgeFilterMap>
776 SubUGraphAdaptor<const UGraph, NodeFilterMap, const EdgeFilterMap>
777 subUGraphAdaptor(const UGraph& graph,
778 NodeFilterMap& nfm, EdgeFilterMap& efm) {
779 return SubUGraphAdaptor<const UGraph, NodeFilterMap, const EdgeFilterMap>
783 template<typename UGraph, typename NodeFilterMap, typename EdgeFilterMap>
784 SubUGraphAdaptor<const UGraph, const NodeFilterMap, const EdgeFilterMap>
785 subUGraphAdaptor(const UGraph& graph,
786 NodeFilterMap& nfm, EdgeFilterMap& efm) {
787 return SubUGraphAdaptor<const UGraph, const NodeFilterMap,
788 const EdgeFilterMap>(graph, nfm, efm);
791 /// \ingroup graph_adaptors
793 /// \brief An adaptor for hiding nodes from an undirected graph.
795 /// An adaptor for hiding nodes from an undirected graph.
796 /// This adaptor specializes SubUGraphAdaptor in the way that only
798 /// can be filtered. In usual case the checked parameter is true, we get the
799 /// induced subgraph. But if the checked parameter is false then we can only
800 /// filter only isolated nodes.
801 template<typename _UGraph, typename NodeFilterMap, bool checked = true>
802 class NodeSubUGraphAdaptor :
803 public SubUGraphAdaptor<_UGraph, NodeFilterMap,
804 ConstMap<typename _UGraph::UEdge, bool>, checked> {
806 typedef SubUGraphAdaptor<_UGraph, NodeFilterMap,
807 ConstMap<typename _UGraph::UEdge, bool> > Parent;
808 typedef _UGraph Graph;
810 ConstMap<typename _UGraph::UEdge, bool> const_true_map;
812 NodeSubUGraphAdaptor() : const_true_map(true) {
813 Parent::setUEdgeFilterMap(const_true_map);
817 NodeSubUGraphAdaptor(Graph& _graph, NodeFilterMap& _node_filter_map) :
818 Parent(), const_true_map(true) {
819 Parent::setGraph(_graph);
820 Parent::setNodeFilterMap(_node_filter_map);
821 Parent::setUEdgeFilterMap(const_true_map);
825 template<typename UGraph, typename NodeFilterMap>
826 NodeSubUGraphAdaptor<const UGraph, NodeFilterMap>
827 nodeSubUGraphAdaptor(const UGraph& graph, NodeFilterMap& nfm) {
828 return NodeSubUGraphAdaptor<const UGraph, NodeFilterMap>(graph, nfm);
831 template<typename UGraph, typename NodeFilterMap>
832 NodeSubUGraphAdaptor<const UGraph, const NodeFilterMap>
833 nodeSubUGraphAdaptor(const UGraph& graph, const NodeFilterMap& nfm) {
834 return NodeSubUGraphAdaptor<const UGraph, const NodeFilterMap>(graph, nfm);
837 /// \ingroup graph_adaptors
839 /// \brief An adaptor for hiding undirected edges from an undirected graph.
841 /// \warning Graph adaptors are in even more experimental state
842 /// than the other parts of the lib. Use them at you own risk.
844 /// An adaptor for hiding undirected edges from an undirected graph.
845 /// This adaptor specializes SubUGraphAdaptor in the way that
846 /// only the edge-set
848 template<typename _UGraph, typename UEdgeFilterMap>
849 class EdgeSubUGraphAdaptor :
850 public SubUGraphAdaptor<_UGraph, ConstMap<typename _UGraph::Node,bool>,
851 UEdgeFilterMap, false> {
853 typedef SubUGraphAdaptor<_UGraph, ConstMap<typename _UGraph::Node,bool>,
854 UEdgeFilterMap, false> Parent;
855 typedef _UGraph Graph;
857 ConstMap<typename Graph::Node, bool> const_true_map;
859 EdgeSubUGraphAdaptor() : const_true_map(true) {
860 Parent::setNodeFilterMap(const_true_map);
865 EdgeSubUGraphAdaptor(Graph& _graph, UEdgeFilterMap& _uedge_filter_map) :
866 Parent(), const_true_map(true) {
867 Parent::setGraph(_graph);
868 Parent::setNodeFilterMap(const_true_map);
869 Parent::setUEdgeFilterMap(_uedge_filter_map);
874 template<typename UGraph, typename EdgeFilterMap>
875 EdgeSubUGraphAdaptor<const UGraph, EdgeFilterMap>
876 edgeSubUGraphAdaptor(const UGraph& graph, EdgeFilterMap& efm) {
877 return EdgeSubUGraphAdaptor<const UGraph, EdgeFilterMap>(graph, efm);
880 template<typename UGraph, typename EdgeFilterMap>
881 EdgeSubUGraphAdaptor<const UGraph, const EdgeFilterMap>
882 edgeSubUGraphAdaptor(const UGraph& graph, const EdgeFilterMap& efm) {
883 return EdgeSubUGraphAdaptor<const UGraph, const EdgeFilterMap>(graph, efm);
886 template <typename _UGraph, typename _DirectionMap>
887 class DirUGraphAdaptorBase {
890 typedef _UGraph Graph;
891 typedef _DirectionMap DirectionMap;
893 typedef typename _UGraph::Node Node;
894 typedef typename _UGraph::UEdge Edge;
896 void reverseEdge(const Edge& edge) {
897 direction->set(edge, !(*direction)[edge]);
900 void first(Node& i) const { graph->first(i); }
901 void first(Edge& i) const { graph->first(i); }
902 void firstIn(Edge& i, const Node& n) const {
904 graph->firstInc(i, d, n);
905 while (i != INVALID && d == (*direction)[i]) graph->nextInc(i, d);
907 void firstOut(Edge& i, const Node& n ) const {
909 graph->firstInc(i, d, n);
910 while (i != INVALID && d != (*direction)[i]) graph->nextInc(i, d);
913 void next(Node& i) const { graph->next(i); }
914 void next(Edge& i) const { graph->next(i); }
915 void nextIn(Edge& i) const {
916 bool d = !(*direction)[i];
917 graph->nextInc(i, d);
918 while (i != INVALID && d == (*direction)[i]) graph->nextInc(i, d);
920 void nextOut(Edge& i) const {
921 bool d = (*direction)[i];
922 graph->nextInc(i, d);
923 while (i != INVALID && d != (*direction)[i]) graph->nextInc(i, d);
926 Node source(const Edge& e) const {
927 return (*direction)[e] ? graph->source(e) : graph->target(e);
929 Node target(const Edge& e) const {
930 return (*direction)[e] ? graph->target(e) : graph->source(e);
933 typedef NodeNumTagIndicator<Graph> NodeNumTag;
934 int nodeNum() const { return graph->nodeNum(); }
936 typedef EdgeNumTagIndicator<Graph> EdgeNumTag;
937 int edgeNum() const { return graph->uEdgeNum(); }
939 typedef FindEdgeTagIndicator<Graph> FindEdgeTag;
940 Edge findEdge(const Node& source, const Node& target,
941 const Edge& prev = INVALID) {
943 bool d = edge == INVALID ? true : (*direction)[edge];
945 edge = graph->findUEdge(source, target, edge);
946 while (edge != INVALID && !(*direction)[edge]) {
947 graph->findUEdge(source, target, edge);
949 if (edge != INVALID) return edge;
951 graph->findUEdge(target, source, edge);
952 while (edge != INVALID && (*direction)[edge]) {
953 graph->findUEdge(source, target, edge);
958 Node addNode() const {
959 return Node(graph->addNode());
962 Edge addEdge(const Node& source, const Node& target) const {
963 Edge edge = graph->addEdge(source, target);
964 direction->set(edge, graph->source(edge) == source);
968 void erase(const Node& i) const { graph->erase(i); }
969 void erase(const Edge& i) const { graph->erase(i); }
971 void clear() const { graph->clear(); }
973 int id(const Node& v) const { return graph->id(v); }
974 int id(const Edge& e) const { return graph->id(e); }
976 int maxNodeId() const {
977 return graph->maxNodeId();
980 int maxEdgeId() const {
981 return graph->maxEdgeId();
984 typedef typename ItemSetTraits<Graph, Node>::ItemNotifier NodeNotifier;
986 NodeNotifier& getNotifier(Node) const {
987 return graph->getNotifier(Node());
990 typedef typename ItemSetTraits<Graph, Edge>::ItemNotifier EdgeNotifier;
992 EdgeNotifier& getNotifier(Edge) const {
993 return graph->getNotifier(Edge());
996 template <typename _Value>
997 class NodeMap : public _UGraph::template NodeMap<_Value> {
1000 typedef typename _UGraph::template NodeMap<_Value> Parent;
1002 explicit NodeMap(const DirUGraphAdaptorBase& ga)
1003 : Parent(*ga.graph) {}
1005 NodeMap(const DirUGraphAdaptorBase& ga, const _Value& value)
1006 : Parent(*ga.graph, value) {}
1008 NodeMap& operator=(const NodeMap& cmap) {
1009 return operator=<NodeMap>(cmap);
1012 template <typename CMap>
1013 NodeMap& operator=(const CMap& cmap) {
1014 Parent::operator=(cmap);
1020 template <typename _Value>
1021 class EdgeMap : public _UGraph::template UEdgeMap<_Value> {
1024 typedef typename _UGraph::template UEdgeMap<_Value> Parent;
1026 explicit EdgeMap(const DirUGraphAdaptorBase& ga)
1027 : Parent(*ga.graph) { }
1029 EdgeMap(const DirUGraphAdaptorBase& ga, const _Value& value)
1030 : Parent(*ga.graph, value) { }
1032 EdgeMap& operator=(const EdgeMap& cmap) {
1033 return operator=<EdgeMap>(cmap);
1036 template <typename CMap>
1037 EdgeMap& operator=(const CMap& cmap) {
1038 Parent::operator=(cmap);
1047 DirectionMap* direction;
1049 void setDirectionMap(DirectionMap& _direction) {
1050 direction = &_direction;
1053 void setGraph(Graph& _graph) {
1060 /// \ingroup graph_adaptors
1062 /// \brief A directed graph is made from an undirected graph by an adaptor
1064 /// This adaptor gives a direction for each uedge in the undirected graph.
1065 /// The direction of the edges stored in the DirectionMap. This map is
1066 /// a bool map on the undirected edges. If the uedge is mapped to true
1067 /// then the direction of the directed edge will be the same as the
1068 /// default direction of the uedge. The edges can be easily reverted
1069 /// by the reverseEdge member in the adaptor.
1070 template<typename _Graph,
1071 typename DirectionMap = typename _Graph::template UEdgeMap<bool> >
1072 class DirUGraphAdaptor :
1073 public GraphAdaptorExtender<
1074 DirUGraphAdaptorBase<_Graph, DirectionMap> > {
1076 typedef _Graph Graph;
1077 typedef GraphAdaptorExtender<
1078 DirUGraphAdaptorBase<_Graph, DirectionMap> > Parent;
1080 DirUGraphAdaptor() { }
1082 DirUGraphAdaptor(_Graph& _graph, DirectionMap& _direction_map) {
1084 setDirectionMap(_direction_map);
1088 template<typename UGraph, typename DirectionMap>
1089 DirUGraphAdaptor<const UGraph, DirectionMap>
1090 dirUGraphAdaptor(const UGraph& graph, DirectionMap& dm) {
1091 return DirUGraphAdaptor<const UGraph, DirectionMap>(graph, dm);
1094 template<typename UGraph, typename DirectionMap>
1095 DirUGraphAdaptor<const UGraph, const DirectionMap>
1096 dirUGraphAdaptor(const UGraph& graph, const DirectionMap& dm) {
1097 return DirUGraphAdaptor<const UGraph, const DirectionMap>(graph, dm);