CGAL 5.1.1 - 2D Movable Separability of Sets
Refinement Relationships