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