CGAL 5.2 - 2D Regularized Boolean Set-Operations
Refinement Relationships