CGAL 5.1 - 2D Polygon Partitioning
Refinement Relationships