From 098e05e134ec73e6adceee05643fca702725af64 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Thu, 16 Oct 2025 17:41:04 +0100 Subject: [PATCH] Add debug output --- .../CGAL/Frechet_distance/internal/Frechet_light.h | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/Frechet_distance/include/CGAL/Frechet_distance/internal/Frechet_light.h b/Frechet_distance/include/CGAL/Frechet_distance/internal/Frechet_light.h index 46e91745821..88bc35098e7 100644 --- a/Frechet_distance/include/CGAL/Frechet_distance/internal/Frechet_light.h +++ b/Frechet_distance/include/CGAL/Frechet_distance/internal/Frechet_light.h @@ -514,15 +514,24 @@ inline void FrechetLight::continueQSimpleSearch(QSimpleInterval& qsimple, // TODO: uncritical for correctness or speed but unelegant coding style: stripping down information added by getInterval CInterval temp_interval = FrechetLight::getInterval( fixed_curve, fixed, curve, cur); + std::cout .precision(15); + std::cout << "cur = " << cur << std::endl; + std::cout << temp_interval.begin.getPoint() << " " + << temp_interval.begin.getFraction().approx << std::endl; + std::cout << temp_interval.end.getPoint() << std::endl; + Interval interval = Interval(temp_interval.begin.getPoint() == cur ? temp_interval.begin.getFraction() : 1, temp_interval.end.getPoint() == cur ? temp_interval.end.getFraction() : 1); - + std::cout << "before is_zero(): " << interval.begin.approx << std::endl; +// ssert(!certainly(temp_interval.begin.getFraction() <= 1) + // || !certainly(temp_interval.begin.getFraction() > 1)); // do previous check for fullness again, but now it is an exact decision if (is_zero(interval.begin) && is_one(interval.end)) { // Uncertain (A) + std::cout << "after is_zero(): " << interval.begin.approx << std::endl; assert(current_free); ++cur; stepsize *= 2;