CGAL 5.4 - 2D Polygon Partitioning
Refinement Relationships