Check that generic dummies create a proper cover

This commit is contained in:
Mael Rouxel-Labbé 2022-12-06 15:13:22 +01:00
parent 2cdb9086dc
commit 78a1fc1d14
1 changed files with 8 additions and 0 deletions

View File

@ -49,6 +49,14 @@ void insert_dummy_points(C3T3& c3t3,
std::vector<Vertex_handle> dummy_vertices = c3t3.triangulation().insert_generic_dummy_points(); std::vector<Vertex_handle> dummy_vertices = c3t3.triangulation().insert_generic_dummy_points();
CGAL_postcondition(c3t3.triangulation().is_1_cover()); CGAL_postcondition(c3t3.triangulation().is_1_cover());
// Abuse the multi cover function to check if cells have a small-enough orthoradius
c3t3.triangulation().update_cover_data_after_converting_to_27_sheeted_covering();
if(!c3t3.triangulation().can_be_converted_to_1_sheet())
{
std::cerr << "Error: dummy points do not create a 1-cover" << std::endl;
CGAL_postcondition(false);
}
for(Vertex_handle dvh : dummy_vertices) for(Vertex_handle dvh : dummy_vertices)
{ {
dvh->info().is_dummy_vertex = true; dvh->info().is_dummy_vertex = true;