1 | // -*- c++ -*- |
---|
2 | //======================================================================= |
---|
3 | // Copyright 1997, 1998, 1999, 2000 University of Notre Dame. |
---|
4 | // Authors: Andrew Lumsdaine, Lie-Quan Lee, Jeremy G. Siek |
---|
5 | // |
---|
6 | // Distributed under the Boost Software License, Version 1.0. (See |
---|
7 | // accompanying file LICENSE_1_0.txt or copy at |
---|
8 | // http://www.boost.org/LICENSE_1_0.txt) |
---|
9 | //======================================================================= |
---|
10 | #include <boost/config.hpp> |
---|
11 | #include <iostream> |
---|
12 | |
---|
13 | #include <boost/graph/adjacency_list.hpp> |
---|
14 | |
---|
15 | /* |
---|
16 | Thanks to Dale Gerdemann for this example, which inspired some |
---|
17 | changes to adjacency_list to make this work properly. |
---|
18 | */ |
---|
19 | |
---|
20 | /* |
---|
21 | Sample output: |
---|
22 | |
---|
23 | 0 --c--> 1 --j--> 1 --c--> 2 --x--> 2 |
---|
24 | 1 --c--> 2 --d--> 3 |
---|
25 | 2 --t--> 4 |
---|
26 | 3 --h--> 4 |
---|
27 | 4 |
---|
28 | |
---|
29 | merging vertex 1 into vertex 0 |
---|
30 | |
---|
31 | 0 --c--> 0 --j--> 0 --c--> 1 --x--> 1 --d--> 2 |
---|
32 | 1 --t--> 3 |
---|
33 | 2 --h--> 3 |
---|
34 | 3 |
---|
35 | */ |
---|
36 | |
---|
37 | // merge_vertex(u,v,g): |
---|
38 | // incoming/outgoing edges for v become incoming/outgoing edges for u |
---|
39 | // v is deleted |
---|
40 | template <class Graph, class GetEdgeProperties> |
---|
41 | void merge_vertex |
---|
42 | (typename boost::graph_traits<Graph>::vertex_descriptor u, |
---|
43 | typename boost::graph_traits<Graph>::vertex_descriptor v, |
---|
44 | Graph& g, GetEdgeProperties getp) |
---|
45 | { |
---|
46 | typedef boost::graph_traits<Graph> Traits; |
---|
47 | typename Traits::edge_descriptor e; |
---|
48 | typename Traits::out_edge_iterator out_i, out_end; |
---|
49 | for (tie(out_i, out_end) = out_edges(v, g); out_i != out_end; ++out_i) { |
---|
50 | e = *out_i; |
---|
51 | typename Traits::vertex_descriptor targ = target(e, g); |
---|
52 | add_edge(u, targ, getp(e), g); |
---|
53 | } |
---|
54 | typename Traits::in_edge_iterator in_i, in_end; |
---|
55 | for (tie(in_i, in_end) = in_edges(v, g); in_i != in_end; ++in_i) { |
---|
56 | e = *in_i; |
---|
57 | typename Traits::vertex_descriptor src = source(e, g); |
---|
58 | add_edge(src, u, getp(e), g); |
---|
59 | } |
---|
60 | clear_vertex(v, g); |
---|
61 | remove_vertex(v, g); |
---|
62 | } |
---|
63 | |
---|
64 | template <class StoredEdge> |
---|
65 | struct order_by_name |
---|
66 | : public std::binary_function<StoredEdge,StoredEdge,bool> |
---|
67 | { |
---|
68 | bool operator()(const StoredEdge& e1, const StoredEdge& e2) const { |
---|
69 | // Using std::pair operator< as an easy way to get lexicographical |
---|
70 | // compare over tuples. |
---|
71 | return std::make_pair(e1.get_target(), boost::get(boost::edge_name, e1)) |
---|
72 | < std::make_pair(e2.get_target(), boost::get(boost::edge_name, e2)); |
---|
73 | } |
---|
74 | }; |
---|
75 | struct ordered_set_by_nameS { }; |
---|
76 | |
---|
77 | #ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
---|
78 | namespace boost { |
---|
79 | template <class ValueType> |
---|
80 | struct container_gen<ordered_set_by_nameS, ValueType> { |
---|
81 | typedef std::set<ValueType, order_by_name<ValueType> > type; |
---|
82 | }; |
---|
83 | template <> |
---|
84 | struct parallel_edge_traits<ordered_set_by_nameS> { |
---|
85 | typedef allow_parallel_edge_tag type; |
---|
86 | }; |
---|
87 | } |
---|
88 | #endif |
---|
89 | |
---|
90 | template <class Graph> |
---|
91 | struct get_edge_name { |
---|
92 | get_edge_name(const Graph& g_) : g(g_) { } |
---|
93 | |
---|
94 | template <class Edge> |
---|
95 | boost::property<boost::edge_name_t, char> operator()(Edge e) const { |
---|
96 | return boost::property<boost::edge_name_t, char>(boost::get(boost::edge_name, g, e)); |
---|
97 | } |
---|
98 | const Graph& g; |
---|
99 | }; |
---|
100 | |
---|
101 | int |
---|
102 | main() |
---|
103 | { |
---|
104 | #ifdef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
---|
105 | std::cout << "This program requires partial specialization." << std::endl; |
---|
106 | #else |
---|
107 | using namespace boost; |
---|
108 | typedef property<edge_name_t, char> EdgeProperty; |
---|
109 | typedef adjacency_list<ordered_set_by_nameS, vecS, bidirectionalS, |
---|
110 | no_property, EdgeProperty> graph_type; |
---|
111 | |
---|
112 | graph_type g; |
---|
113 | |
---|
114 | add_edge(0, 1, EdgeProperty('j'), g); |
---|
115 | add_edge(0, 2, EdgeProperty('c'), g); |
---|
116 | add_edge(0, 2, EdgeProperty('x'), g); |
---|
117 | add_edge(1, 3, EdgeProperty('d'), g); |
---|
118 | add_edge(1, 2, EdgeProperty('c'), g); |
---|
119 | add_edge(1, 3, EdgeProperty('d'), g); |
---|
120 | add_edge(2, 4, EdgeProperty('t'), g); |
---|
121 | add_edge(3, 4, EdgeProperty('h'), g); |
---|
122 | add_edge(0, 1, EdgeProperty('c'), g); |
---|
123 | |
---|
124 | property_map<graph_type, vertex_index_t>::type id = get(vertex_index, g); |
---|
125 | property_map<graph_type, edge_name_t>::type name = get(edge_name, g); |
---|
126 | |
---|
127 | graph_traits<graph_type>::vertex_iterator i, end; |
---|
128 | graph_traits<graph_type>::out_edge_iterator ei, edge_end; |
---|
129 | |
---|
130 | for (boost::tie(i, end) = vertices(g); i != end; ++i) { |
---|
131 | std::cout << id[*i] << " "; |
---|
132 | for (boost::tie(ei, edge_end) = out_edges(*i, g); ei != edge_end; ++ei) |
---|
133 | std::cout << " --" << name[*ei] << "--> " << id[target(*ei, g)] << " "; |
---|
134 | std::cout << std::endl; |
---|
135 | } |
---|
136 | std::cout << std::endl; |
---|
137 | |
---|
138 | std::cout << "merging vertex 1 into vertex 0" << std::endl << std::endl; |
---|
139 | merge_vertex(0, 1, g, get_edge_name<graph_type>(g)); |
---|
140 | |
---|
141 | for (boost::tie(i, end) = vertices(g); i != end; ++i) { |
---|
142 | std::cout << id[*i] << " "; |
---|
143 | for (boost::tie(ei, edge_end) = out_edges(*i, g); ei != edge_end; ++ei) |
---|
144 | std::cout << " --" << name[*ei] << "--> " << id[target(*ei, g)] << " "; |
---|
145 | std::cout << std::endl; |
---|
146 | } |
---|
147 | std::cout << std::endl; |
---|
148 | #endif |
---|
149 | return 0; |
---|
150 | } |
---|