// Copyright (c) 2019-2024  GeometryFactory Sarl (France).
// All rights reserved.
//
// This file is part of CGAL (www.cgal.org).
//
// $URL: https://github.com/CGAL/cgal/blob/v6.2-beta1/Constrained_triangulation_3/include/CGAL/Conforming_Delaunay_triangulation_3.h $
// $Id: include/CGAL/Conforming_Delaunay_triangulation_3.h 431cfb5357d $
// SPDX-License-Identifier: GPL-3.0-or-later OR LicenseRef-Commercial
//
// Author(s)     : Laurent Rineau

#ifndef CGAL_CONFORMING_DELAUNAY_TRIANGULATION_3_H
#define CGAL_CONFORMING_DELAUNAY_TRIANGULATION_3_H

#include <CGAL/license/Constrained_triangulation_3.h>

#include <CGAL/Constrained_triangulation_3/internal/config.h>

#include <CGAL/Algebraic_structure_traits.h>
#include <CGAL/Bbox_3.h>
#include <CGAL/Cartesian_converter.h>
#include <CGAL/Compact_container.h>
#include <CGAL/Conforming_constrained_Delaunay_triangulation_vertex_data_3.h>
#include <CGAL/enum.h>
#include <CGAL/functional.h>
#include <CGAL/kernel_assertions.h>
#include <CGAL/Number_types/internal/Exact_type_selector.h>
#include <CGAL/Real_timer.h>
#include <CGAL/SMDS_3/io_signature.h>
#include <CGAL/Triangulation_2/internal/Polyline_constraint_hierarchy_2.h>
#include <CGAL/Triangulation_segment_traverser_3.h>
#include <CGAL/number_utils.h>
#include <CGAL/type_traits.h>
#include <CGAL/unordered_flat_map.h>
#include <CGAL/unordered_flat_set.h>

#include <CGAL/Mesh_3/io_signature.h>
#include <CGAL/IO/File_binary_mesh_3.h>

#include <boost/container/flat_set.hpp>
#include <boost/container/map.hpp>
#include <boost/container/small_vector.hpp>
#include <boost/iterator/function_output_iterator.hpp>

#include <algorithm>
#include <array>
#include <bitset>
#include <fstream>
#include <functional>
#include <ios>
#include <iostream>
#include <limits>
#include <optional>
#include <ostream>
#include <set>
#include <sstream>
#include <stack>
#include <stdexcept>
#include <string>
#include <type_traits>
#include <utility>
#include <vector>

#ifndef DOXYGEN_RUNNING

#if CGAL_USE_ITT
#  include <ittnotify.h>
#endif

namespace CGAL {

namespace CDT_3 {

struct Debug_options {
  enum class Flags {
    Steiner_points = 0,
    Steiner_points_construction,
    conforming,
    input_faces,
    missing_region,
    regions,
    copy_triangulation_into_hole,
    validity,
    debug_finite_edges_map,
    use_finite_edges_map,
    debug_subconstraints_to_conform,
    verbose_special_cases,
    debug_encroaching_vertices,
    debug_conforming_validation,
    debug_constraint_hierarchy,
    debug_geometric_errors,
    debug_polygon_insertion,
    debug_restore_faces,
    display_statistics,
    use_epeck_for_normals,
    use_epeck_for_Steiner_points,
    nb_of_flags
  };
  bool Steiner_points_construction() const { return flags[static_cast<int>(Flags::Steiner_points_construction)]; }
  void Steiner_points_construction(bool b) { flags.set(static_cast<int>(Flags::Steiner_points_construction), b); }

  bool Steiner_points() const { return flags[static_cast<int>(Flags::Steiner_points)]; }
  void Steiner_points(bool b) { flags.set(static_cast<int>(Flags::Steiner_points), b); }

  bool input_faces() const { return flags[static_cast<int>(Flags::input_faces)]; }
  void input_faces(bool b) { flags.set(static_cast<int>(Flags::input_faces), b); }

  bool missing_region() const { return flags[static_cast<int>(Flags::missing_region)]; }
  void missing_region(bool b) { flags.set(static_cast<int>(Flags::missing_region), b); }

  bool regions() const { return flags[static_cast<int>(Flags::regions)]; }
  void regions(bool b) { flags.set(static_cast<int>(Flags::regions), b); }

  bool copy_triangulation_into_hole() const { return flags[static_cast<int>(Flags::copy_triangulation_into_hole)]; }
  void copy_triangulation_into_hole(bool b) { flags.set(static_cast<int>(Flags::copy_triangulation_into_hole), b); }

  bool validity() const { return flags[static_cast<int>(Flags::validity)]; }
  void validity(bool b) { flags.set(static_cast<int>(Flags::validity), b); }


  bool finite_edges_map() const { return flags[static_cast<int>(Flags::debug_finite_edges_map)]; }
  void finite_edges_map(bool b) { flags.set(static_cast<int>(Flags::debug_finite_edges_map), b); }

  bool subconstraints_to_conform() const { return flags[static_cast<int>(Flags::debug_subconstraints_to_conform)]; }
  void subconstraints_to_conform(bool b) { flags.set(static_cast<int>(Flags::debug_subconstraints_to_conform), b); }

  bool use_finite_edges_map_flag() const { return flags[static_cast<int>(Flags::use_finite_edges_map)]; }
  void use_finite_edges_map(bool b) { flags.set(static_cast<int>(Flags::use_finite_edges_map), b); }

  bool verbose_special_cases() const { return flags[static_cast<int>(Flags::verbose_special_cases)]; }
  void verbose_special_cases(bool b) { flags.set(static_cast<int>(Flags::verbose_special_cases), b); }

  bool encroaching_vertices() const { return flags[static_cast<int>(Flags::debug_encroaching_vertices)]; }
  void encroaching_vertices(bool b) { flags.set(static_cast<int>(Flags::debug_encroaching_vertices), b); }

  bool conforming_validation() const { return flags[static_cast<int>(Flags::debug_conforming_validation)]; }
  void conforming_validation(bool b) { flags.set(static_cast<int>(Flags::debug_conforming_validation), b); }

  bool constraint_hierarchy() const { return flags[static_cast<int>(Flags::debug_constraint_hierarchy)]; }
  void constraint_hierarchy(bool b) { flags.set(static_cast<int>(Flags::debug_constraint_hierarchy), b); }

  bool geometric_errors() const { return flags[static_cast<int>(Flags::debug_geometric_errors)]; }
  void geometric_errors(bool b) { flags.set(static_cast<int>(Flags::debug_geometric_errors), b); }

  bool polygon_insertion() const { return flags[static_cast<int>(Flags::debug_polygon_insertion)]; }
  void polygon_insertion(bool b) { flags.set(static_cast<int>(Flags::debug_polygon_insertion), b); }

  bool restore_faces() const { return flags[static_cast<int>(Flags::debug_restore_faces)]; }
  void restore_faces(bool b) { flags.set(static_cast<int>(Flags::debug_restore_faces), b); }

  bool display_statistics() const { return flags[static_cast<int>(Flags::display_statistics)]; }
  void display_statistics(bool b) { flags.set(static_cast<int>(Flags::display_statistics), b); }

  bool use_epeck_for_normals() const { return flags[static_cast<int>(Flags::use_epeck_for_normals)]; }
  void use_epeck_for_normals(bool b) { flags.set(static_cast<int>(Flags::use_epeck_for_normals), b); }

  bool use_epeck_for_Steiner_points() const { return flags[static_cast<int>(Flags::use_epeck_for_Steiner_points)]; }
  void use_epeck_for_Steiner_points(bool b) { flags.set(static_cast<int>(Flags::use_epeck_for_Steiner_points), b); }

  double segment_vertex_epsilon() const { return segment_vertex_epsilon_; }
  void set_segment_vertex_epsilon(double eps) { segment_vertex_epsilon_ = eps; }

  double vertex_vertex_epsilon() const { return vertex_vertex_epsilon_; }
  void set_vertex_vertex_epsilon(double eps) { vertex_vertex_epsilon_ = eps; }

private:
  std::bitset<static_cast<int>(Flags::nb_of_flags)> flags{};
  double segment_vertex_epsilon_ = 0.0;
  double vertex_vertex_epsilon_  = 0.0;
}; // end struct Debug_options

namespace internal {

inline auto& tasks_manager() {
  struct Tasks_manager {
    enum {
      READ_INPUT = 0,
      MERGE_FACETS,
      INSERT_VERTICES,
      COMPUTE_DISTANCES,
      CONFORMING,
      CDT,
      OUTPUT,
      VALIDATION,
      NB_TASKS
    };

  #if CGAL_USE_ITT
    __itt_domain* cdt_3_domain = __itt_domain_create("org.cgal.CDT_3");
    const std::array<__itt_string_handle*, NB_TASKS> task_handles = {
      __itt_string_handle_create("CDT_3: read input file"),
      __itt_string_handle_create("CDT_3: merge facets"),
      __itt_string_handle_create("CDT_3: insert vertices"),
      __itt_string_handle_create("CDT_3: compute distances"),
      __itt_string_handle_create("CDT_3: conforming"),
      __itt_string_handle_create("CDT_3: cdt"),
      __itt_string_handle_create("CDT_3: outputs"),
      __itt_string_handle_create("CDT_3: validation")
    };
  #endif
    std::array<CGAL::Real_timer, NB_TASKS> timers{};
    struct Scope_guard {
      Tasks_manager *instance = nullptr;
      int task_id;
      Scope_guard(Tasks_manager *instance, int task_id) : instance(instance), task_id(task_id) {
        instance->timers[task_id].start();
#if CGAL_USE_ITT
        __itt_task_begin(instance->cdt_3_domain, __itt_null, __itt_null, instance->task_handles[task_id]);
#endif
      }
      auto time() const {
        return instance->timers[task_id].time();
      }
      auto time_ms() const {
        return instance->timers[task_id].time() * 1000.;
      }
      ~Scope_guard() {
        instance->timers[task_id].stop();
#if CGAL_USE_ITT
        __itt_task_end(instance->cdt_3_domain);
#endif
      }
    };

    Scope_guard make_task_scope_guard(int task_id) {
      return Scope_guard(this, task_id);
    }

    Scope_guard READ_INPUT_TASK_guard() { return make_task_scope_guard(READ_INPUT); }
    Scope_guard MERGE_FACETS_TASK_guard() { return make_task_scope_guard(MERGE_FACETS); }
    Scope_guard INSERT_VERTICES_TASK_guard() { return make_task_scope_guard(INSERT_VERTICES); }
    Scope_guard COMPUTE_DISTANCES_TASK_guard() { return make_task_scope_guard(COMPUTE_DISTANCES); }
    Scope_guard CONFORMING_TASK_guard() { return make_task_scope_guard(CONFORMING); }
    Scope_guard CDT_TASK_guard() { return make_task_scope_guard(CDT); }
    Scope_guard OUTPUT_TASK_guard() { return make_task_scope_guard(OUTPUT); }
    Scope_guard VALIDATION_TASK_guard() { return make_task_scope_guard(VALIDATION); }

  }; // end struct Intel_OneAPI_ITT_API

  static Tasks_manager instance;
  return instance;
} // end auto& tasks_manager()

} // end namespace internal

} // end namespace CDT_3

inline auto CDT_3_READ_INPUT_TASK_guard() {
  return CDT_3::internal::tasks_manager().READ_INPUT_TASK_guard();
}

inline auto CDT_3_MERGE_FACETS_TASK_guard() {
  return CDT_3::internal::tasks_manager().MERGE_FACETS_TASK_guard();
}

inline auto CDT_3_INSERT_VERTICES_TASK_guard() {
  return CDT_3::internal::tasks_manager().INSERT_VERTICES_TASK_guard();
}

inline auto CDT_3_COMPUTE_DISTANCES_TASK_guard() {
  return CDT_3::internal::tasks_manager().COMPUTE_DISTANCES_TASK_guard();
}

inline auto CDT_3_CONFORMING_TASK_guard() {
  return CDT_3::internal::tasks_manager().CONFORMING_TASK_guard();
}

inline auto CDT_3_CDT_TASK_guard() {
  return CDT_3::internal::tasks_manager().CDT_TASK_guard();
}

inline auto CDT_3_OUTPUT_TASK_guard() {
  return CDT_3::internal::tasks_manager().OUTPUT_TASK_guard();
}

inline auto CDT_3_VALIDATION_TASK_guard() {
  return CDT_3::internal::tasks_manager().VALIDATION_TASK_guard();
}

template <typename T_3>
class Conforming_Delaunay_triangulation_3 : public T_3 {
public:
  static constexpr bool t_3_is_not_movable =
      CGAL::cdt_3_msvc_2019_or_older() || false == CGAL::is_nothrow_movable_v<T_3>;
  using Geom_traits = typename T_3::Geom_traits;
  using Vertex_handle = typename T_3::Vertex_handle;
  using Edge = typename T_3::Edge;
  using Facet = typename T_3::Facet;
  using Cell_handle = typename T_3::Cell_handle;
  using Point = typename T_3::Point;
  using Line = typename T_3::Geom_traits::Line_3;
  using Locate_type = typename T_3::Locate_type;

  inline static With_offset_tag with_offset{ -1 };
  inline static With_point_tag with_point{ {-1} };
  inline static With_point_and_info_tag with_point_and_info{ { {-1} } };

  Conforming_Delaunay_triangulation_3(const Geom_traits& gt = Geom_traits())
    : T_3(gt)
  {
  }

protected:
  struct Compare_vertex_handle {
    const T_3* tr;
    Compare_vertex_handle(const T_3* tr) : tr(tr) {}
    bool operator()(const Vertex_handle va, const Vertex_handle vb) const {
      return va < vb;
    }
  };

  using Constraint_hierarchy =
      Polyline_constraint_hierarchy_2<Vertex_handle, Compare_vertex_handle, Point>;
public:
  using Constrained_polyline_id = typename Constraint_hierarchy::Constraint_id;

protected:
  using Subconstraint = typename Constraint_hierarchy::Subconstraint;

  auto display_vert(Vertex_handle v) const{
    std::stringstream os;
    os.precision(17);
    os << IO::oformat(v, with_point);
    return os.str();
  }

  auto display_subcstr(Subconstraint subconstraint) const {
    auto [va, vb] = subconstraint;
    std::stringstream os;
    os << "(" << IO::oformat(va, with_offset) << ", " << IO::oformat(vb, with_offset) << ")"
       << ": [ " << display_vert(va) << " - " << display_vert(vb) << " ]";
    return os.str();
  }

  class Insert_in_conflict_visitor
  {
    Conforming_Delaunay_triangulation_3<T_3>* self;
  public:
    Insert_in_conflict_visitor(Conforming_Delaunay_triangulation_3* self) : self(self) {}

    template <class InputIterator>
    void process_cells_in_conflict(InputIterator cell_it, InputIterator end) {
      const CGAL::unordered_flat_set<Cell_handle> cells_set(cell_it, end);
      std::set<std::pair<Vertex_handle, Vertex_handle>> edges_in_conflict;
      auto d = self->tr().dimension();
      for( ; cell_it != end; ++cell_it ) {
        for( int i = 0; i < d; ++i ) {
          const auto n = (*cell_it)->neighbor(i);
          if(cells_set.find(n) == cells_set.end()) continue;
          // here: (c, i) is a facet internal to the conflict region
          for(int j = 0; j < 3; ++j ) {
            auto v1 = (*cell_it)->vertex(self->tr().vertex_triple_index(i, j));
            auto v2 = (*cell_it)->vertex(self->tr().vertex_triple_index(i, self->tr().cw(j)));
            if(self->tr().is_infinite(v1) || self->tr().is_infinite(v2)) continue;
            edges_in_conflict.insert(CGAL::make_sorted_pair(v1, v2));
          }
        }
      }
      for(auto [v1, v2]: edges_in_conflict) {
        if(self->use_finite_edges_map()) {
          auto v1_index = v1->time_stamp();
          [[maybe_unused]] auto nb_erased = self->all_finite_edges[v1_index].erase(v2);
          if constexpr (cdt_3_can_use_cxx20_format()) if(self->debug().finite_edges_map() && nb_erased > 0) {
            std::cerr << cdt_3_format("erasing edge {} {}\n", self->display_vert((std::min)(v1, v2)),
                                    self->display_vert((std::max)(v1, v2)));
          }
        }
        auto [contexts_begin, contexts_end] =
          self->constraint_hierarchy.contexts(v1, v2);
        if(contexts_begin != contexts_end) {
          self->add_to_subconstraints_to_conform(v1, v2, contexts_begin->id());
        }
      }
    }

    void after_insertion(Vertex_handle v) const {
      if(!self->use_finite_edges_map()) return;
      CGAL_assertion(self->dimension() > 1);
      self->incident_edges(v, boost::make_function_output_iterator([this](Edge e) { self->new_edge(e); }));
      self->incident_cells(v, boost::make_function_output_iterator([this, v](Cell_handle c) {
        auto v_index = c->index(v);
        if(self->dimension() == 2) {
          auto j = self->cw(v_index);
          auto k = self->ccw(v_index);
          self->new_edge(Edge(c, j, k));
        } else {
          for(int i = 0; i < 3; ++i) {
            auto j = self->vertex_triple_index(v_index, i);
            auto k = self->vertex_triple_index(v_index, self->cw(i));
            self->new_edge(Edge(c, j, k));
          }
        }
      }));
    }

    void reinsert_vertices(Vertex_handle v) const { after_insertion(v); }
    Vertex_handle replace_vertex(Cell_handle c, int index, const Point& ) const
    {
      return c->vertex(index);
    }
    void hide_point(Cell_handle, const Point& ) const {}

    void insert_Steiner_point_on_constraint([[maybe_unused]] Constrained_polyline_id constraint,
                                            [[maybe_unused]] Vertex_handle va,
                                            [[maybe_unused]] Vertex_handle vb,
                                            [[maybe_unused]] Vertex_handle v_Steiner) const
    {
    }

    Vertex_handle insert_in_triangulation(const Point& p, Locate_type lt, Cell_handle c, int li, int lj) {
      return self->insert_impl_do_not_split(p, lt, c, li, lj, *this);
    }
  };

  auto make_subconstraint(Vertex_handle va, Vertex_handle vb) {
    return make_sorted_pair(va, vb);
  }

  void add_to_subconstraints_to_conform(Vertex_handle va, Vertex_handle vb,
                                        Constrained_polyline_id id) {
    const auto pair = make_subconstraint(va, vb);
    if(debug().subconstraints_to_conform()) {
      std::cerr << "tr().subconstraints_to_conform.push("
                << display_subcstr(pair) << ")\n";
    }
    subconstraints_to_conform.push({pair, id});
  }

  template <typename Visitor>
  Constrained_polyline_id insert_constrained_edge_impl(Vertex_handle va, Vertex_handle vb, Visitor&) {
    if(va != vb) {
      if(debug().segment_vertex_epsilon() != 0.) {
        auto [min_dist, min_vertex] = min_distance_and_vertex_between_constraint_and_encroaching_vertex(va, vb);
        check_segment_vertex_distance_or_throw(va, vb, min_vertex, CGAL::to_double(min_dist),
                                               Check_distance::NON_SQUARED_DISTANCE);
      }
      const Constrained_polyline_id c_id = constraint_hierarchy.insert_constraint(va, vb);
      pair_of_vertices_to_cid.emplace(make_sorted_pair(va, vb), c_id);
      // traverse all the vertices along [va, vb] and add pairs of consecutive
      // vertices as sub-constraints.
      std::for_each(tr().segment_traverser_simplices_begin(va, vb), tr().segment_traverser_simplices_end(),
                    [&, prev = Vertex_handle{}](auto simplex) mutable {
                      // std::cerr << "- " << oformat(simplex, With_point_tag{}) << '\n';
                      if(simplex.dimension() == 0) {
                        const auto v = static_cast<Vertex_handle>(simplex);
                        v->ccdt_3_data().set_on_constraint(c_id);
                        if(prev != Vertex_handle{}) {
                          if(v != vb) {
                            v->ccdt_3_data().set_vertex_type(CDT_3_vertex_type::STEINER_ON_EDGE);
                            constraint_hierarchy.add_Steiner(prev, vb, v);
                          }
                          add_to_subconstraints_to_conform(prev, v, c_id);
                        }
                        prev = v;
                      }
                    });
      return c_id;
    }
    return {};
  }

  void new_edge(Edge e)
  {
    if(!update_all_finite_edges_) return;
    auto [v1, v2] = make_sorted_pair(tr().vertices(e));
    if(tr().is_infinite(v1) || tr().is_infinite(v2))
      return;
    [[maybe_unused]] auto [_, inserted] = all_finite_edges[v1->time_stamp()].insert(v2);
    if constexpr (cdt_3_can_use_cxx20_format()) if (debug().finite_edges_map() && inserted) {
      if(v2 < v1) std::swap(v1, v2);
      std::cerr << cdt_3_format("new_edge({}, {})\n", display_vert(v1), display_vert(v2));
    }
  }

  void new_cell(Cell_handle c) {
    auto d = tr().dimension();
    for(int i = 0; i < d; ++i) {
      for(int j = i+1; j <= d; ++j) {
        new_edge(Edge(c, i, j));
      }
    }
  }

  auto new_cells_output_iterator()
  {
    return boost::function_output_iterator([this](Cell_handle c) {
      if(use_finite_edges_map())
        this->new_cell(c);
    });
  }

  template <typename Visitor>
  Vertex_handle insert_impl_do_not_split(const Point &p, Locate_type lt, Cell_handle c,
                                         int li, int lj, Visitor& visitor)
  {
    switch (tr().dimension()) {
    case 3: {
      typename T_3::Conflict_tester_3 tester(p, this);
      auto v = tr().insert_in_conflict(p, lt, c, li, lj, tester,
                                     visitor);
      new_vertex(v);
      return v;
    } // dim 3
    case 2: {
      typename T_3::Conflict_tester_2 tester(p, this);
      auto v = tr().insert_in_conflict(p, lt, c, li, lj, tester, visitor);
      if(use_finite_edges_map()) {
        new_vertex(v);
        tr().incident_edges(v, boost::make_function_output_iterator([&](Edge e) { this->new_edge(e); }));
      }
      return v;
    } // dim 2
    default:
      // dimension <= 1
      // Do not use the generic insert.
      auto v = tr().insert(p, c);
      if(use_finite_edges_map()) {
        new_vertex(v);
        all_finite_edges.clear();
        if (debug().finite_edges_map()) std::cerr << "all_finite_edges.clear()\n";
        for(auto e: tr().all_edges()) {
          new_edge(e);
        }
      }
      return v;
    }
  }

  template <typename Visitor>
  Vertex_handle insert_impl(const Point &p, Locate_type lt, Cell_handle c,
                            int li, int lj, Visitor& visitor)
  {
    Vertex_handle v1, v2;
    bool split_constrained_edge = false;
    if(lt == T_3::EDGE) {
      v1 = c->vertex(li);
      v2 = c->vertex(lj);
      if(constraint_hierarchy.is_subconstraint(v1, v2)) {
        split_constrained_edge = true;
      }
    }
    Vertex_handle new_vertex = insert_impl_do_not_split(p, lt, c, li, lj, visitor);
    if(split_constrained_edge) {
      constraint_hierarchy.split_constraint(v1, v2, new_vertex);
    }
    return new_vertex;
  }

  void update_bbox(const Point& p) {
    bbox = bbox + p.bbox();
    if(max_bbox_edge_length) {
      update_max_bbox_edge_length();
    }
  }

  void update_max_bbox_edge_length() const {
    double d_x = bbox.xmax() - bbox.xmin();
    double d_y = bbox.ymax() - bbox.ymin();
    double d_z = bbox.zmax() - bbox.zmin();

    max_bbox_edge_length = (std::max)(d_x, (std::max)(d_y, d_z));
  }

public:
  CDT_3::Debug_options& debug() { return debug_options_; }
  const CDT_3::Debug_options& debug() const { return debug_options_; }

  // Backward compatibility wrappers (deprecated, use debug().method() instead)
  bool use_finite_edges_map() const { return update_all_finite_edges_ && debug_options_.use_finite_edges_map_flag(); }
  void use_finite_edges_map(bool b) { debug_options_.use_finite_edges_map(b); }

  Vertex_handle insert(const Point &p, Locate_type lt, Cell_handle c,
                       int li, int lj)
  {
    update_bbox(p);
    auto v = insert_impl(p, lt, c, li, lj, insert_in_conflict_visitor);
    restore_Delaunay(insert_in_conflict_visitor);
    return v;
  }

  Vertex_handle insert(const Point &p, Cell_handle start = {}) {
    Locate_type lt;
    int li, lj;

    Cell_handle c = tr().locate(p, lt, li, lj, start);
    return insert(p, lt, c, li, lj);
  }

  Constrained_polyline_id insert_constrained_edge(Vertex_handle va, Vertex_handle vb)
  {
    const auto id = insert_constrained_edge_impl(va, vb, insert_in_conflict_visitor);
    restore_Delaunay(insert_in_conflict_visitor);
    return id;
  }

  bool is_edge(Vertex_handle va, Vertex_handle vb) const {
    const bool is_edge_v1 =
        ((debug().finite_edges_map() && use_finite_edges_map()) || !use_finite_edges_map()) && tr().tds().is_edge(va, vb);

    if(use_finite_edges_map() && va > vb) std::swap(va, vb);
    const auto va_index = va->time_stamp();
    const bool is_edge_v2 =
        use_finite_edges_map() && all_finite_edges[va_index].find(vb) != all_finite_edges[va_index].end();

    if(debug().finite_edges_map() && use_finite_edges_map() && is_edge_v1 != is_edge_v2) {
      std::cerr << "!! Inconsistent edge status\n";
      std::cerr << "  -> constraint " << display_vert(va) << "     " << display_vert(vb) << '\n';
      std::cerr << "  ->     edge " << (is_edge_v1 ? "is" : "is not") << " in the triangulation\n";
      std::cerr << "  ->     edge " << (is_edge_v2 ? "is" : "is not") << " in all_finite_edges\n";
      debug_dump("bug-inconsistent-edge-status");
      CGAL_error();
    }
    const bool is_edge = use_finite_edges_map() ? is_edge_v2 : is_edge_v1;
    return is_edge;
  }

  using T_3::is_edge;

  bool is_conforming() const {
    return std::all_of(constraint_hierarchy.subconstraints_begin(),
                       constraint_hierarchy.subconstraints_end(),
                       [this](const auto &sc) {
                         const auto [va, vb] = sc;
                         const auto is_edge = this->is_edge(va, vb);
                         if constexpr (cdt_3_can_use_cxx20_format()) if(debug().conforming_validation()) {
                           std::cerr << cdt_3_format("is_conforming>> Edge is 3D: {}  ({} , {})\n",
                                                    is_edge,
                                                    CGAL::IO::oformat(va, with_point_and_info),
                                                    CGAL::IO::oformat(vb, with_point_and_info));
                         }
                         return is_edge;
                       });
  }

  enum class Check_distance { SQUARED_DISTANCE, NON_SQUARED_DISTANCE };

  void check_segment_vertex_distance_or_throw(Vertex_handle va,
                                              Vertex_handle vb,
                                              Vertex_handle min_vertex,
                                              double min_dist,
                                              Check_distance distance_type = Check_distance::NON_SQUARED_DISTANCE) const
  {
    if(!max_bbox_edge_length) {
      update_max_bbox_edge_length();
    }
    if((distance_type == Check_distance::NON_SQUARED_DISTANCE &&
        min_dist < debug().segment_vertex_epsilon() * *max_bbox_edge_length) ||
       (distance_type == Check_distance::SQUARED_DISTANCE &&
        min_dist < CGAL::square(debug().segment_vertex_epsilon() * *max_bbox_edge_length)))
    {
      std::stringstream ss;
      ss.precision(std::cerr.precision());
      ss << "A constrained segment is too close to a vertex.\n";
      ss << "  -> vertex " << display_vert(min_vertex) << '\n';
      ss << "  -> constrained segment " << display_vert(va) << "  -  " << display_vert(vb) << '\n';
      ss << "  -> distance = " << min_dist << '\n';
      ss << "  -> max_bbox_edge_length = " << *max_bbox_edge_length << '\n';
      CGAL_error_msg(ss.str().c_str());
    }
  }

  void check_vertex_vertex_distance_or_throw(Vertex_handle va,
                                             Vertex_handle vb,
                                             double min_dist) const
  {
    if(!max_bbox_edge_length) {
      update_max_bbox_edge_length();
    }
    if(min_dist < debug_options_.vertex_vertex_epsilon() * *max_bbox_edge_length)
    {
      std::stringstream ss;
      ss.precision(std::cerr.precision());
      ss << "Two vertices are too close to each other.\n";
      ss << "  -> vertex " << display_vert(va) << '\n';
      ss << "  -> vertex " << display_vert(vb) << '\n';
      ss << "  -> distance = " << min_dist << '\n';
      ss << "  -> max_bbox_edge_length = " << *max_bbox_edge_length << '\n';
      CGAL_error_msg(ss.str().c_str());
    }
  }

  auto ancestors_of_Steiner_vertex_on_edge(Vertex_handle v) const {
    std::pair<Vertex_handle, Vertex_handle> result;
    CGAL_precondition(v->ccdt_3_data().is_Steiner_vertex_on_edge());
    CGAL_assertion(v->ccdt_3_data().number_of_incident_constraints() == 1);
    const auto v_time_stamp = v->time_stamp();
    const auto constrained_polyline_id = v->ccdt_3_data().constrained_polyline_id(*this);
    const auto first = this->constraint_hierarchy.vertices_in_constraint_begin(constrained_polyline_id);
    const auto end =   this->constraint_hierarchy.  vertices_in_constraint_end(constrained_polyline_id);
    std::cerr << "ancestors_of_Steiner_vertex_on_edge " << display_vert(v) << '\n';
    for(auto it = first; it != end; ++it) {
      std::cerr << "  - " << display_vert(*it) << '\n';
    }
    CGAL_assertion(first != end);
    const auto last = std::prev(this->constraint_hierarchy.vertices_in_constraint_end(constrained_polyline_id));
    CGAL_assertion(first != last);
    CGAL_assertion((*first)->time_stamp() < v_time_stamp);
    CGAL_assertion((*last)->time_stamp() < v_time_stamp);
    for(auto it = first; (*it) != v; ++it) {
      if((*it)->time_stamp() < v_time_stamp) {
        result.first = *it;
      }
      CGAL_assertion(it != last);
    }
    for(auto it = last; (*it) != v; --it) {
      if((*it)->time_stamp() < v_time_stamp) {
        result.second = *it;
      }
      CGAL_assertion(it != first);
    }
    return result;
  }

  auto min_distance_and_vertex_between_constraint_and_encroaching_vertex(Vertex_handle va, Vertex_handle vb) const {
    struct Result {
      typename T_3::Geom_traits::FT min_dist = (std::numeric_limits<double>::max)();
      Vertex_handle v = {};
    } result;
    const auto vector_of_encroaching_vertices = encroaching_vertices(va, vb);
    for(auto v: vector_of_encroaching_vertices) {
      const auto dist = CGAL::approximate_sqrt(squared_distance(tr().point(v), Line{tr().point(va), tr().point(vb)}));
      if(dist < result.min_dist) {
        result = Result{dist, v};
      }
    }
    return result;
  }

  bool write_missing_segments_file(std::ostream &out) {
    bool any_missing_segment = false;
    std::for_each(
        constraint_hierarchy.subconstraints_begin(), constraint_hierarchy.subconstraints_end(),
        [this, &out, &any_missing_segment](const auto &sc) {
          const auto [v0, v1] = sc;
          if (!this->is_edge(v0, v1)) {
            out << "2 " << this->tr().point(v0) << " " << this->tr().point(v1)
                << '\n';
            any_missing_segment = true;
          }
        });
    return any_missing_segment;
  }

  void write_all_segments_file(std::ostream &out) {
    std::for_each(
        constraint_hierarchy.subconstraints_begin(), constraint_hierarchy.subconstraints_end(),
        [this, &out](const auto &sc) {
          const auto [v0, v1] = sc;
          out << "2 " << this->tr().point(v0) << " " << this->tr().point(v1) << '\n';
        });
  }

  /// @{
  /// remove functions cannot be called
  void remove(Vertex_handle) = delete;
  void remove_cluster() = delete;
  /// @}

  static std::string io_signature() {
    return Get_io_signature<T_3>()();
  }
protected:
  void debug_dump(std::string filename) const {
    {
      std::ofstream dump(filename + ".binary.cgal", std::ios::binary);
      CGAL::IO::save_binary_file(dump, *this);
    }
    {
      std::ofstream dump(filename + "_point.xyz");
      dump.precision(17);
      for(auto vh: this->finite_vertex_handles()){
        dump << this->point(vh) << '\n';
      }
    }
  }

  template <typename Visitor>
  void restore_Delaunay(Visitor& visitor) {
    update_all_finite_edges();
    while(!subconstraints_to_conform.empty()) {
      const auto [subconstraint, constrained_polyline_id] = subconstraints_to_conform.top();
      subconstraints_to_conform.pop();
      const auto [va, vb] = subconstraint;
      if(!constraint_hierarchy.is_subconstraint(va, vb)) {
        continue;
      }
      if(debug().subconstraints_to_conform()) {
        std::cerr << "tr().subconstraints_to_conform.pop()="
                  << display_subcstr(subconstraint) << "\n";
      }
      conform_subconstraint(subconstraint, constrained_polyline_id, visitor);
    }
  }

  template <typename Visitor>
  Vertex_handle insert_Steiner_point_on_subconstraint(
      Point steiner_pt, Cell_handle hint,
      Subconstraint subconstraint, Constrained_polyline_id constraint, Visitor& visitor)
  {
    const Vertex_handle va = subconstraint.first;
    const Vertex_handle vb = subconstraint.second;
    Locate_type lt;
    int li, lj;
    const Cell_handle c = tr().locate(steiner_pt, lt, li, lj, hint);
    if(lt == T_3::VERTEX) {
      auto other_v = c->vertex(li);
      const auto [c_va, c_vb] = constraint_extremities(constraint);
      std::stringstream ss;
      ss.precision(std::cerr.precision());
      ss << "insert_Steiner_point_on_subconstraint: Steiner point coincides with an existing vertex\n";
      ss << "  -> Steiner point: " << steiner_pt << '\n';
      ss << "     on constraint: " << display_vert(c_va) << "  -  " << display_vert(c_vb) << '\n';
      ss << "  -> existing vertex: " << IO::oformat(other_v, with_point_and_info) << '\n';
      if(other_v->ccdt_3_data().number_of_incident_constraints() > 0) {
        const auto c_id = other_v->ccdt_3_data().constrained_polyline_id(*this);
        const auto [c_va, c_vb] = constraint_extremities(c_id);
        ss << "     which is on constraint: " << display_vert(c_va) << " - " << display_vert(c_vb) << '\n';
        ss << "  Possible cause: two input segments are too close to each other\n";
      } else if(other_v->ccdt_3_data().vertex_type() == CDT_3_vertex_type::INPUT_VERTEX) {
        ss << "     which is an input vertex.\n";
        ss << "  Possible cause: an input segment is too close to an input vertex\n";
      }
      throw std::runtime_error(std::move(ss).str());
    }
    const Vertex_handle v = visitor.insert_in_triangulation(steiner_pt, lt, c, li, lj);
    v->ccdt_3_data().set_vertex_type(CDT_3_vertex_type::STEINER_ON_EDGE);
    v->ccdt_3_data().set_on_constraint(constraint);
    constraint_hierarchy.add_Steiner(va, vb, v);
    visitor.insert_Steiner_point_on_constraint(constraint, va, vb, v);
    add_to_subconstraints_to_conform(va, v, constraint);
    add_to_subconstraints_to_conform(v, vb, constraint);

    new_vertex(v);

    return v;
  }

  /// Return `true` if a Steiner point was inserted
  template <typename Visitor>
  bool conform_subconstraint(Subconstraint subconstraint,
                             Constrained_polyline_id constraint,
                             Visitor& visitor)
  {
    const Vertex_handle va = subconstraint.first;
    const Vertex_handle vb = subconstraint.second;
    CGAL_assertion(va != vb);
    if(!this->is_edge(va, vb)) {
      const auto& [steiner_pt, hint, ref_vertex] = construct_Steiner_point(constraint, subconstraint);
      [[maybe_unused]] const auto v =
          insert_Steiner_point_on_subconstraint(steiner_pt, hint, subconstraint, constraint, visitor);
      if(debug().Steiner_points()) {
        const auto [c_start, c_end] = constraint_extremities(constraint);
        std::cerr << "(" << IO::oformat(va, with_offset) << ", " << IO::oformat(vb, with_offset) << ")";
        std::cerr << ": [ " << display_vert(c_start) << " - " << display_vert(c_end) << " ] ";
        std::cerr << "  new vertex " << display_vert(v) << '\n';
      }
      return true;
    } else if(debug().subconstraints_to_conform()) {
      std::cerr << "conform_subconstraint>> subconstraint " << display_subcstr(subconstraint)
                << " is already an edge in the triangulation.\n";
    }

    return false;
  }

  Constrained_polyline_id constraint_from_extremities(Vertex_handle va, Vertex_handle vb) const {
    if(va->ccdt_3_data().number_of_incident_constraints() == 0 || vb->ccdt_3_data().number_of_incident_constraints() == 0)
    {
      return {};
    }
    auto it = pair_of_vertices_to_cid.find(make_sorted_pair(va, vb));
    if(it != pair_of_vertices_to_cid.end()) {
      return it->second;
    }
    return {};
    // @TODO: cleanup the rest of the function, and `constraint_around`
    Constrained_polyline_id c_id = constraint_around(va, vb, false);
    if(c_id != Constrained_polyline_id{}) return c_id;
    c_id = constraint_around(vb, va, false);
    if(c_id != Constrained_polyline_id{}) return c_id;
    c_id = constraint_around(va, vb, true);
    return c_id;
  }

  auto constraint_extremities(Constrained_polyline_id c_id) const {
      CGAL_assertion(this->constraint_hierarchy.vertices_in_constraint_begin(c_id) !=
                     this->constraint_hierarchy.vertices_in_constraint_end(c_id));
      if(debug().constraint_hierarchy()) {
        std::cerr << "constraint " << static_cast<void*>(c_id.vl_ptr()) << " has "
                  << c_id.vl_ptr()->skip_size() << " vertices\n";
      }
      const auto begin = this->constraint_hierarchy.vertices_in_constraint_begin(c_id);
      const auto end = this->constraint_hierarchy.vertices_in_constraint_end(c_id);
      const auto c_va = *begin;
      const auto c_vb = *std::prev(end);
    return std::make_pair(c_va, c_vb);
  }

  Constrained_polyline_id constraint_around(Vertex_handle va, Vertex_handle vb, bool expensive = true) const {
    auto constraint_id_goes_to_vb = [this, va, vb](Constrained_polyline_id c_id) {
      const auto [c_va, c_vb] = constraint_extremities(c_id);
      if (va == c_va && vb == c_vb)
        return true;
      if (vb == c_va && va == c_vb)
        return true;
      return false;
    }; // end lambda constraint_id_goes_to_vb
    if (va->ccdt_3_data().number_of_incident_constraints() == 1)
    {
      const Constrained_polyline_id c_id = va->ccdt_3_data().constrained_polyline_id(*this);
      CGAL_assertion(c_id != Constrained_polyline_id{});
      if(constraint_id_goes_to_vb(c_id)) return c_id;
    } else if (expensive == true && va->ccdt_3_data().number_of_incident_constraints() > 1) {
      boost::container::small_vector<Vertex_handle, 64> adj_vertices;
      this->finite_adjacent_vertices(va, std::back_inserter(adj_vertices));
      for(auto other_v: adj_vertices) {
        for(auto context: this->constraint_hierarchy.contexts(va, other_v)) {
          const Constrained_polyline_id c_id = context.id();
          if(constraint_id_goes_to_vb(c_id)) return c_id;
        }
      }
    }
    return Constrained_polyline_id{};
  }

  struct Construct_Steiner_point_return_type {
    typename T_3::Geom_traits::Point_3 point;
    Cell_handle hint;
    Vertex_handle reference_vertex;
  };

  auto encroaching_vertices(Vertex_handle va, Vertex_handle vb) const {
    auto& gt = tr().geom_traits();
    auto angle_functor = gt.angle_3_object();

    const auto& pa = tr().point(va);
    const auto& pb = tr().point(vb);

    namespace bc = boost::container;
    bc::flat_set<Vertex_handle, std::less<Vertex_handle>,
                 bc::small_vector<Vertex_handle, 256>>
        encroaching_vertices;
    auto register_vertex = [this,&encroaching_vertices](Vertex_handle v) {
      if(tr().is_infinite(v)) return;
      // std::cerr << "register_vertex " << display_vert(v) << '\n';
      encroaching_vertices.insert(v);
    };
    auto fill_encroaching_vertices = [&](const auto simplex) {
      if(debug().encroaching_vertices()) {
        std::cerr << " - " << IO::oformat(simplex, With_point_tag{}) << '\n';
      }
      auto visit_cell = [&](Cell_handle cell) {
        for(int i = 0, end = this->tr().dimension() + 1; i < end; ++i) {
          const auto v = cell->vertex(i);
          register_vertex(v);
        }
      };
      switch(simplex.dimension()) {
      case 3: {
        const auto cell = static_cast<Cell_handle>(simplex);
        visit_cell(cell);
      } break;
      case 2: {
        const auto [cell, facet_index] = static_cast<Facet>(simplex);
        visit_cell(cell);
        if(tr().dimension() > 2) {
          const auto [other_cell, other_index] = tr().mirror_facet({cell, facet_index});
          register_vertex(other_cell->vertex(other_index));
        }
        break;
      }
      case 1: {
        auto edge = static_cast<Edge>(simplex);
        if(tr().dimension() < 3) {
          auto [cell, i, j] = edge;
          visit_cell(cell);
          if(tr().dimension() < 2) break;
          auto neighbor_cell = cell->neighbor(3 - i - j);
          visit_cell(neighbor_cell);
          break;
        }
        auto circ = tr().incident_cells(edge);
        CGAL_assertion(circ != nullptr);
        const auto end = circ;
        do {
          visit_cell(circ);
        } while(++circ != end);
      } break;
      case 0: {
        const auto v = static_cast<Vertex_handle>(simplex);
        if(v != va && v != vb) {
          std::cerr << "!! The constraint passes through a vertex!\n";
          std::cerr << "  -> constraint " << display_vert(va) << "     " << display_vert(vb) << '\n';
          std::cerr << "  ->     vertex " << display_vert(v) << '\n';
          if(debug().geometric_errors()) {
            debug_dump("bug-through-vertex");
          }
          CGAL_error();
        }
      } break;
      default: CGAL_unreachable();
      } // end switch
    };
    std::for_each(tr().segment_traverser_simplices_begin(va, vb), tr().segment_traverser_simplices_end(),
                  fill_encroaching_vertices);
    auto vector_of_encroaching_vertices = encroaching_vertices.extract_sequence();
    if(debug().encroaching_vertices()) {
      std::cerr << "  -> vector_of_encroaching_vertices (before filter):\n";
      std::for_each(vector_of_encroaching_vertices.begin(),
                    vector_of_encroaching_vertices.end(),
                    [this](Vertex_handle v){
                      std::cerr << "    " << this->display_vert(v) << '\n';
                    });
    }
    auto end = std::remove_if(vector_of_encroaching_vertices.begin(),
                              vector_of_encroaching_vertices.end(),
                              [va, vb, pa, pb, &angle_functor, this](Vertex_handle v) {
                                if(va == v || vb == v) return true;
                                return angle_functor(pa,
                                                    this->tr().point(v),
                                                    pb) == ACUTE;
                              });
    if(debug().encroaching_vertices()) {
      std::cerr << "  -> vector_of_encroaching_vertices (after filter):\n";
      std::for_each(vector_of_encroaching_vertices.begin(), end, [&](Vertex_handle v) {
        std::cerr << "    " << this->display_vert(v) << "  angle " << approximate_angle(pa, this->tr().point(v), pb)
                  << '\n';
      });
    }
    vector_of_encroaching_vertices.erase(end, vector_of_encroaching_vertices.end());
    return vector_of_encroaching_vertices;
  }

  template <typename T, typename = void> struct has_exact_member_function : std::false_type
  {};

  template <typename T>
  struct has_exact_member_function<T, std::void_t<decltype(std::declval<T>().exact())>> : std::true_type
  {};

  template <typename T> static decltype(auto) exact(T&& obj) {
    if constexpr(has_exact_member_function<T>::value) {
      obj.exact();
    }
    return std::forward<T>(obj);
  }

  // Helper to compute a projected point with optional exact kernel and custom threshold check
  // lambda_computer receives (kernel, converter) and returns the lambda parameter for projection
  // use_midpoint_check receives (lambda, std::optional<Point>) and returns true if midpoint should be used instead
  //   - First call with std::nullopt allows checking lambda before computing projection
  //   - Second call with actual projected point allows distance-based checks
  template<typename LambdaComputer, typename MidpointCheck>
  Point compute_projected_point_with_threshold(const Point& start_pt, const Point& end_pt,
                                                const Point& midpoint_start, const Point& midpoint_end,
                                                LambdaComputer&& lambda_computer,
                                                MidpointCheck&& use_midpoint_check) const
  {
    auto& gt = tr().geom_traits();
    auto vector_functor = gt.construct_vector_3_object();
    auto midpoint_functor = gt.construct_midpoint_3_object();
    auto scaled_vector_functor = gt.construct_scaled_vector_3_object();
    auto translate_functor = gt.construct_translated_point_3_object();

    if constexpr (!Algebraic_structure_traits<typename T_3::Geom_traits::FT>::Is_exact::value) {
      if(debug().use_epeck_for_Steiner_points()) {
        using Epeck_ft = internal::Exact_field_selector<double>::Type;
        using Exact_kernel = Simple_cartesian<Epeck_ft>;
        Exact_kernel exact_kernel;
        Cartesian_converter<Exact_kernel, Geom_traits> back_from_exact;
        Cartesian_converter<Geom_traits, Exact_kernel> to_exact;

        auto&& exact_vector = exact_kernel.construct_vector_3_object();
        auto&& exact_midpoint = exact_kernel.construct_midpoint_3_object();
        auto&& exact_scaled_vector = exact_kernel.construct_scaled_vector_3_object();
        auto&& exact_translate = exact_kernel.construct_translated_point_3_object();

        auto lambda = lambda_computer(exact_kernel, to_exact);

        auto exact_midpoint_point_fct = [&]() {
          const auto midpoint_start_exact = to_exact(midpoint_start);
          const auto midpoint_end_exact = to_exact(midpoint_end);
          auto exact_result = exact_midpoint(midpoint_start_exact, midpoint_end_exact);
          this->exact(exact_result);
          return back_from_exact(exact_result);
        };

        // Check threshold before computing projection
        if(use_midpoint_check(lambda, std::nullopt)) {
          return exact_midpoint_point_fct();
        }

        // Only convert projection points when needed
        const auto start_pt_exact = to_exact(start_pt);
        const auto end_pt_exact = to_exact(end_pt);
        const auto vector_exact = exact_vector(start_pt_exact, end_pt_exact);
        auto projected_exact = exact_translate(start_pt_exact, exact_scaled_vector(vector_exact, lambda));
        this->exact(projected_exact);
        const auto projected_approx = back_from_exact(projected_exact);

        // Second threshold check with actual projected point if needed
        if(use_midpoint_check(lambda, projected_approx)) {
          return exact_midpoint_point_fct();
        }

        return projected_approx;
      }
    }
    auto lambda = lambda_computer(gt, CGAL::cpp20::identity{});

    // Check threshold before computing projection
    if(use_midpoint_check(lambda, std::nullopt)) {
      return exact(midpoint_functor(midpoint_start, midpoint_end));
    }

    const auto vector_ab = vector_functor(start_pt, end_pt);
    const auto projected_pt = translate_functor(start_pt, scaled_vector_functor(vector_ab, lambda));

    // Second threshold check with actual projected point if needed
    return exact(use_midpoint_check(lambda, projected_pt) ? midpoint_functor(midpoint_start, midpoint_end) : projected_pt);
  }

  // Convenience wrapper for simple lambda-based threshold (lambda < 0.2 || lambda > 0.8)
  template<typename LambdaComputer>
  Point compute_projected_point(const Point& start_pt, const Point& end_pt,
                                LambdaComputer&& lambda_computer) const
  {
    return compute_projected_point_with_threshold(
        start_pt, end_pt, start_pt, end_pt,
        std::forward<LambdaComputer>(lambda_computer),
        [this](auto lambda, const std::optional<Point>&) {
          // Only need lambda for this threshold check
          bool use_midpoint = lambda < 0.2 || lambda > 0.8;
          if(this->debug().Steiner_points_construction()) {
            std::cerr << "  lambda = " << lambda << '\n';
            if(use_midpoint) {
              std::cerr << "  -> using midpoint instead of projection\n";
            }
          }
          return use_midpoint;
        });
  }

  Construct_Steiner_point_return_type
  construct_Steiner_point(Constrained_polyline_id constrained_polyline_id, Subconstraint subconstraint)
  {
    auto& gt = tr().geom_traits();
    auto compare_angle_functor = gt.compare_angle_3_object();
    auto vector_functor = gt.construct_vector_3_object();
    auto midpoint_functor = gt.construct_midpoint_3_object();
    auto sq_length_functor = gt.compute_squared_length_3_object();

    const Vertex_handle va = subconstraint.first;
    const Vertex_handle vb = subconstraint.second;
    const auto& pa = tr().point(va);
    const auto& pb = tr().point(vb);
    const auto [orig_va, orig_vb] = constraint_extremities(constrained_polyline_id);
    const auto& orig_pa = tr().point(orig_va);
    const auto& orig_pb = tr().point(orig_vb);

    if(this->dimension() < 2) {
      std::cerr << "dim < 2: midpoint\n";
      return {exact(midpoint_functor(pa, pb)), va->cell(), va};
    }

    if(debug().Steiner_points_construction()) {
      std::cerr << "construct_Steiner_point( " << display_vert(va) << " , "
                << display_vert(vb) << " )\n";
    }

    const auto vector_of_encroaching_vertices = encroaching_vertices(va, vb);
    CGAL_assertion(vector_of_encroaching_vertices.size() > 0);

    const auto reference_vertex_it = std::max_element(
        vector_of_encroaching_vertices.begin(), vector_of_encroaching_vertices.end(),
        [pa, pb, &compare_angle_functor, this](Vertex_handle v1,
                                               Vertex_handle v2) {
          return compare_angle_functor(pa, this->tr().point(v1), pb,
                                       pa, this->tr().point(v2), pb) == SMALLER;
        });
    CGAL_assertion(reference_vertex_it != vector_of_encroaching_vertices.end());
    if(debug().Steiner_points_construction()) {
      std::cerr << "  -> reference point: " << display_vert(*reference_vertex_it)
          << '\n';
    }
    const auto reference_vertex = *reference_vertex_it;
    const auto& reference_point = tr().point(reference_vertex);

    const auto vector_ab = vector_functor(pa, pb);

    if(reference_vertex->ccdt_3_data().is_Steiner_vertex_on_edge()) {
      CGAL_assertion(reference_vertex->ccdt_3_data().number_of_incident_constraints() == 1);
      const auto ref_constrained_polyline_id = reference_vertex->ccdt_3_data().constrained_polyline_id(*this);
      const auto [ref_va, ref_vb] = constraint_extremities(ref_constrained_polyline_id);
      if(debug().Steiner_points_construction()) {
        std::cerr << "  reference point is on constraint: " << display_vert(ref_va)
                << "    " << display_vert(ref_vb) << '\n'
                << "  original constraint:              " << display_vert(orig_va)
                << "    " << display_vert(orig_vb) << '\n';
      }
      const auto vector_orig_ab = vector_functor(orig_pa, orig_pb);
      const auto length_ab = CGAL::approximate_sqrt(sq_length_functor(vector_ab));
      auto return_orig_result_point = [&](auto lambda_val, Point orig_pa_param,
                                          Point orig_pb_param) -> Construct_Steiner_point_return_type {
        // Compute projected point with distance-based ratio threshold check
        const auto result_point = compute_projected_point_with_threshold(
            orig_pa_param, orig_pb_param,                         // Projection segment
            pa, pb,                                               // Midpoint segment
            [lambda_val](auto&&, auto&&) { return lambda_val; },  // Lambda computer
            [&](auto, const std::optional<Point>& projected_pt) { // Threshold check based on distance ratio
              // If projected_pt is not computed yet (std::nullopt), can't check, so return false
              if(!projected_pt)
                return false;

              const auto dist_a_result = CGAL::approximate_sqrt(sq_length_functor(vector_functor(pa, *projected_pt)));
              const auto ratio = dist_a_result / length_ab;
              bool use_midpoint = ratio < 0.2 || ratio > 0.8;
              if(debug().Steiner_points_construction()) {
                std::cerr << "  ref ratio = " << ratio << '\n';
                if(use_midpoint) {
                  std::cerr << "  -> using midpoint instead of projection\n";
                }
              }
              return use_midpoint;
            });

        if(debug().Steiner_points_construction()) {
          std::cerr << "  -> Steiner point: " << result_point << '\n';
        }
        return {exact(result_point), reference_vertex->cell(), reference_vertex};
      };

      const auto length_orig_ab = CGAL::approximate_sqrt(sq_length_functor(vector_orig_ab));
      if(ref_va == orig_va || ref_vb == orig_va) {
        const auto vector_orig_a_ref = vector_functor(orig_pa, reference_point);
        const auto length_orig_a_ref = CGAL::approximate_sqrt(sq_length_functor(vector_orig_a_ref));
        const auto lambda = length_orig_a_ref / length_orig_ab;
        return return_orig_result_point(lambda, orig_pa, orig_pb);
      } else if(ref_va == orig_vb || ref_vb == orig_vb) {
        const auto vector_orig_b_ref = vector_functor(orig_pb, reference_point);
        const auto length_orig_b_ref = CGAL::approximate_sqrt(sq_length_functor(vector_orig_b_ref));
        const auto lambda = length_orig_b_ref / length_orig_ab;
        return return_orig_result_point(lambda, orig_pb, orig_pa);
      }
    } else {
      if(debug().segment_vertex_epsilon() > 0) {
        if(!max_bbox_edge_length) {
          update_max_bbox_edge_length();
        }
        auto sq_dist = squared_distance(reference_point, Line{orig_pa, orig_pb});
        check_segment_vertex_distance_or_throw(orig_va, orig_vb, reference_vertex, CGAL::to_double(sq_dist),
                                               Check_distance::SQUARED_DISTANCE);
      }
    }
    // compute the projection of the reference point

    const auto result_point = compute_projected_point(
        pa, pb,
        [&](auto&& kernel, auto&& converter) -> typename CGAL::cpp20::remove_cvref_t<decltype(kernel)>::FT{
          auto&& vec_func = kernel.construct_vector_3_object();
          auto&& sc_prod_func = kernel.compute_scalar_product_3_object();
          auto&& sq_len_func = kernel.compute_squared_length_3_object();

          const auto pa_converted = converter(pa);
          const auto pb_converted = converter(pb);
          const auto ref_pt_converted = converter(reference_point);

          const auto vector_ab = vec_func(pa_converted, pb_converted);
          const auto vector_a_ref = vec_func(pa_converted, ref_pt_converted);
          const auto denum = CGAL::approximate_sqrt(sq_len_func(vector_ab));
          const auto num = sc_prod_func(vector_a_ref, vector_ab);
          auto result = num / denum;
          return result;
        });

    if(debug().Steiner_points_construction()) {
      std::cerr << "  -> Steiner point: " << result_point << '\n';
    }
    return {exact(result_point), reference_vertex->cell(), reference_vertex};
  }

protected:
  T_3& tr() { return *this; };
  const T_3& tr() const { return *this; };

  Compare_vertex_handle comp = {this};
  Constraint_hierarchy constraint_hierarchy = {comp};
  static_assert(CGAL::cdt_3_msvc_2019_or_older() || CGAL::is_nothrow_movable_v<Constraint_hierarchy>);
  Bbox_3 bbox{};
  mutable std::optional<double> max_bbox_edge_length;
  using Pair_of_vertex_handles = std::pair<Vertex_handle, Vertex_handle>;
  boost::container::map<Pair_of_vertex_handles, Constrained_polyline_id> pair_of_vertices_to_cid;
  Insert_in_conflict_visitor insert_in_conflict_visitor = {this};

  using Stack_info = std::pair<Subconstraint, Constrained_polyline_id>;
  using Subconstraints_to_conform = std::stack<Stack_info, std::vector<Stack_info>>;
  Subconstraints_to_conform subconstraints_to_conform;

  std::vector<CGAL::unordered_flat_set<Vertex_handle>> all_finite_edges;
  bool update_all_finite_edges_ = false;

  void update_all_finite_edges() {
    if(!update_all_finite_edges_) {
      update_all_finite_edges_ = true;
      if(use_finite_edges_map()) {
        all_finite_edges.clear();
        all_finite_edges.resize(tr().number_of_vertices()+1);
        for(auto e: tr().all_edges()) {
          new_edge(e);
        }
      }
    }
  }

  void new_vertex(Vertex_handle v) {
    if(use_finite_edges_map() && v->time_stamp() >= all_finite_edges.size()) {
      all_finite_edges.emplace_back();
      CGAL_assertion(v->time_stamp() == all_finite_edges.size() - 1);
    }
  }

  CDT_3::Debug_options debug_options_{};
  bool is_Delaunay = true;
};

} // end CGAL

#endif // not DOXYGEN_RUNNING


#endif // CGAL_CONFORMING_DELAUNAY_TRIANGULATION_3_H
