A planar graphG is
maximal planar if no additional edges (except parallel edges and
self-loops) can be added to G without creating a non-planar graph. By
Euler's formula, a maximal
planar graph on n vertices (n > 2) always has 3n - 6 edges
and
2n - 4 faces. The input graph to make_maximal_planar must be a
biconnected planar graph with at
least 3 vertices.
The default behavior of make_maximal_planar is to modify the graph
g by calling add_edge(u,v,g) for every pair of vertices
(u,v) where an edge needs to be added to make g maximal planar.
This behavior can be overriden by providing a vistor as the
AddEdgeVisitor parameter. The only requirement for an
AddEdgeVisitor is that it define a member function with the following
signature:
This event point can also be used as a hook to update the underlying edge
index map automatically as edges are added. See the
documentation for the AddEdgeVisitor
concept for more information.