internal void VertexDealloc(Vertex dyingvertex) { // Mark the vertex as dead. This makes it possible to detect dead // vertices when traversing the list of all vertices. dyingvertex.type = VertexType.DeadVertex; vertices.Remove(dyingvertex.hash); }