A 'plan_undi_graph' represents a connected undi_graph with at least one edge
and a given planar embedding.
Each plan_undi_graph has a set of faces determineted by its planar embedding.
All update operations preserve the planarity of the embedding.
Page generated from source code by SCP Source Code Publisher.
SCP © INTEGRA Sistemi, www.IntegraSistemi.com