2
0
mirror of https://github.com/boostorg/graph.git synced 2026-01-27 19:02:12 +00:00

Added preconditions on graph listed in #3807; fixes #3807

[SVN r60899]
This commit is contained in:
Jeremiah Willcock
2010-03-28 18:16:51 +00:00
parent 1ba64f82ec
commit 3ca99558ff

View File

@@ -82,6 +82,16 @@ IN: <tt>Graph&amp; g</tt>
<blockquote>
An undirected graph. The graph type must be a model of
<a href="VertexAndEdgeListGraph.html">VertexAndEdgeListGraph</a>.
The graph must:
<ul>
<li>Be maximal planar.</li>
<li>Have at least two vertices.</li>
<li>Have the edge <i>{v<sub>0</sub>, v<sub>1</sub>}</i> on its outer face,
where <i>v<sub>0</sub></i> is <tt>*vertices(g).first</tt> and
<i>v<sub>1</sub></i> is the first element of
<tt>adjacent_vertices(</tt><i>v<sub>0</sub></i><tt>, g)</tt> distinct from
<i>v<sub>0</sub></i>.</li>
</ul>
</blockquote>
IN: <tt>PlanarEmbedding</tt>