From 6a8d18ed05266be1a54adc1323ef959451b85961 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Mon, 26 Jun 2023 14:19:29 +0200 Subject: [PATCH] Doc update --- src/db/db/dbDeepRegion.cc | 1 + src/drc/drc/built-in-macros/_drc_layer.rb | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/db/db/dbDeepRegion.cc b/src/db/db/dbDeepRegion.cc index bed425c3d..1ab9d322e 100644 --- a/src/db/db/dbDeepRegion.cc +++ b/src/db/db/dbDeepRegion.cc @@ -1916,6 +1916,7 @@ DeepRegion::run_check (db::edge_relation_type rel, bool different_polygons, cons // force different polygons in the different properties case to skip intra-polygon checks if (pc_always_different (options.prop_constraint)) { + // TODO: this forces merged primaries, so maybe that is not a good optimization? different_polygons = true; } diff --git a/src/drc/drc/built-in-macros/_drc_layer.rb b/src/drc/drc/built-in-macros/_drc_layer.rb index 30ea3a692..75bb29735 100644 --- a/src/drc/drc/built-in-macros/_drc_layer.rb +++ b/src/drc/drc/built-in-macros/_drc_layer.rb @@ -2630,7 +2630,7 @@ CODE # @brief Returns the intersection points of intersecting edge segments for two edge collections # @synopsis layer.intersections(edges) # This operation is similar to the "&" operator, but it does also report intersection points - # between non-colinear, but intersection edges. Such points are reported as point-like, + # between non-colinear, but intersecting edges. Such points are reported as point-like, # degenerated edge objects. # # This method is available for edge layers. The argument must be an edge layer.