geomerty: Minor change and fix.

This commit is contained in:
Pierre-Antoine Rouby committed 2023-04-17 17:32:45 +02:00
1 parent 8fdfd52ff1
commit 54909af8dd
4 files changed
+130 -150

No files matched your search

+5 -2
View File
@@ -229,7 +229,7 @@ class Reach:
return (complete, incomplete)
def _map_guidelines_points(self, func):
def _map_guidelines_points(self, func, _filter=None):
return list(
# Map for each guideline
map(
@@ -240,7 +240,10 @@ class Reach:
self._guidelines[k],
)
),
self._guidelines
self._guidelines if not _filter else filter(
_filter,
self._guidelines
)
)
)