CGAL 5.4.1 - 2D Movable Separability of Sets
Refinement Relationships