1 | <HTML> |
---|
2 | <!-- |
---|
3 | -- Copyright (c) Jeremy Siek 2000 |
---|
4 | -- |
---|
5 | -- Distributed under the Boost Software License, Version 1.0. |
---|
6 | -- (See accompanying file LICENSE_1_0.txt or copy at |
---|
7 | -- http://www.boost.org/LICENSE_1_0.txt) |
---|
8 | --> |
---|
9 | <Head> |
---|
10 | <Title>VertexListGraph</Title> |
---|
11 | <BODY BGCOLOR="#ffffff" LINK="#0000ee" TEXT="#000000" VLINK="#551a8b" |
---|
12 | ALINK="#ff0000"> |
---|
13 | <IMG SRC="../../../boost.png" |
---|
14 | ALT="C++ Boost" width="277" height="86"> |
---|
15 | |
---|
16 | <BR Clear> |
---|
17 | |
---|
18 | |
---|
19 | <H2><A NAME="concept:VertexListGraph"> |
---|
20 | VertexListGraph |
---|
21 | </H2> |
---|
22 | |
---|
23 | The <I>VertexListGraph</I> concept refines the <a |
---|
24 | href="./Graph.html">Graph</a> concept, and adds the requirement for |
---|
25 | efficient traversal of all the vertices in the graph. |
---|
26 | |
---|
27 | <H3>Refinement of</H3> |
---|
28 | |
---|
29 | <a href="./Graph.html">Graph</a> |
---|
30 | |
---|
31 | <H3>Associated Types</H3> |
---|
32 | |
---|
33 | <Table border> |
---|
34 | |
---|
35 | <tr> |
---|
36 | <td><tt>boost::graph_traits<G>::traversal_category</tt><br><br> |
---|
37 | This tag type must be convertible to <tt>vertex_list_graph_tag</tt>. |
---|
38 | </td> |
---|
39 | </tr> |
---|
40 | |
---|
41 | <TR> |
---|
42 | <TD><tt>boost::graph_traits<G>::vertex_iterator</tt><br><br> |
---|
43 | A vertex iterator (obtained via <TT>vertices(g)</TT>) provides access |
---|
44 | to all of the vertices in a graph. A vertex iterator type must meet |
---|
45 | the requirements of <a |
---|
46 | href="../../utility/MultiPassInputIterator.html">MultiPassInputIterator</a>. The |
---|
47 | value type of the vertex iterator must be the vertex descriptor of the |
---|
48 | graph. |
---|
49 | </TD> |
---|
50 | </TR> |
---|
51 | |
---|
52 | <tr> |
---|
53 | <td><tt>boost::graph_traits<G>::vertices_size_type</tt><br><br> |
---|
54 | The unsigned integer type used to represent the number of vertices |
---|
55 | in the graph. |
---|
56 | </td> |
---|
57 | </tr> |
---|
58 | |
---|
59 | </table> |
---|
60 | |
---|
61 | <h3>Valid Expressions</h3> |
---|
62 | |
---|
63 | <table border> |
---|
64 | |
---|
65 | <tr> |
---|
66 | <th>Name</th><th>Expression</th><th>Return Type</th><th>Description</th> |
---|
67 | </tr> |
---|
68 | |
---|
69 | <tr> |
---|
70 | <td>Vertex Set of the Graph</td> |
---|
71 | <td><a name="sec:vertices"><TT>vertices(g)</TT></a></TD> |
---|
72 | <TD><TT>std::pair<vertex_iterator, vertex_iterator></TT></TD> |
---|
73 | <TD> |
---|
74 | Returns an iterator-range providing access to all the vertices in the |
---|
75 | graph<TT>g</TT>. |
---|
76 | </TD> |
---|
77 | </TR> |
---|
78 | |
---|
79 | <tr> |
---|
80 | <td>Number of Vertices in the Graph </td> |
---|
81 | <td><TT>num_vertices(g)</TT></TD> |
---|
82 | <TD><TT>vertices_size_type</TT></TD> |
---|
83 | <TD>Returns the number of vertices in the graph <TT>g</TT>.</TD> |
---|
84 | </TR> |
---|
85 | |
---|
86 | </TABLE> |
---|
87 | |
---|
88 | |
---|
89 | <H3>Complexity guarantees</H3> |
---|
90 | |
---|
91 | <P> |
---|
92 | The <TT>vertices()</TT> function must return in constant time. |
---|
93 | |
---|
94 | <H3>See Also</H3> |
---|
95 | |
---|
96 | <a href="./graph_concepts.html">Graph concepts</a> |
---|
97 | |
---|
98 | |
---|
99 | <H3>Design Rationale</H3> |
---|
100 | |
---|
101 | One issue in the design of this concept is whether to include the |
---|
102 | refinement from the <a href="./IncidenceGraph.html">IncidenceGraph</a> |
---|
103 | and <a href="./AdjacencyGraph.html">AdjacencyGraph</a> concepts. The |
---|
104 | ability to traverse the vertices of a graph is orthogonal to |
---|
105 | traversing out-edges, so it would make sense to have a VertexListGraph |
---|
106 | concept that only includes vertex traversal. However, such a concept |
---|
107 | would no longer really be a graph, but would just be a set, and the |
---|
108 | STL already has concepts for dealing with such things. However, there |
---|
109 | are many BGL algorithms that need to traverse the vertices and |
---|
110 | out-edges of a graph, so for convenience a concept is needed that |
---|
111 | groups these requirements together, hence the VertexListGraph concept. |
---|
112 | |
---|
113 | |
---|
114 | <H3>Concept Checking Class</H3> |
---|
115 | |
---|
116 | <P> |
---|
117 | <PRE> |
---|
118 | template <class G> |
---|
119 | struct VertexListGraphConcept |
---|
120 | { |
---|
121 | typedef typename boost::graph_traits<G>::vertex_iterator |
---|
122 | vertex_iterator; |
---|
123 | void constraints() { |
---|
124 | function_requires< IncidenceGraphConcept<G> >(); |
---|
125 | function_requires< AdjacencyGraphConcept<G> >(); |
---|
126 | function_requires< MultiPassInputIteratorConcept<vertex_iterator> >(); |
---|
127 | |
---|
128 | p = vertices(g); |
---|
129 | V = num_vertices(g); |
---|
130 | v = *p.first; |
---|
131 | const_constraints(g); |
---|
132 | } |
---|
133 | void const_constraints(const G& g) { |
---|
134 | p = vertices(g); |
---|
135 | V = num_vertices(g); |
---|
136 | v = *p.first; |
---|
137 | } |
---|
138 | std::pair<vertex_iterator, vertex_iterator> p; |
---|
139 | typename boost::graph_traits<G>::vertex_descriptor v; |
---|
140 | typename boost::graph_traits<G>::vertices_size_type V; |
---|
141 | G g; |
---|
142 | }; |
---|
143 | </PRE> |
---|
144 | |
---|
145 | <br> |
---|
146 | <HR> |
---|
147 | <TABLE> |
---|
148 | <TR valign=top> |
---|
149 | <TD nowrap>Copyright © 2000-2001</TD><TD> |
---|
150 | <A HREF="../../../people/jeremy_siek.htm">Jeremy Siek</A>, Indiana University (<A HREF="mailto:jsiek@osl.iu.edu">jsiek@osl.iu.edu</A>) |
---|
151 | </TD></TR></TABLE> |
---|
152 | |
---|
153 | </BODY> |
---|
154 | </HTML> |
---|