void flip_edge( Polyhedron& P, Halfedge_handle e) { if ( e->is_border_edge()) return; Halfedge_handle h = e->next(); P.join_facet( e); P.split_facet( h, h->next()->next()); }