From a63662059215a26db627c4b76147a3c9338f5b74 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 6 Jan 2021 22:09:53 +0100
Subject: Point suppression

---
 script.it/selection.mli | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100755 script.it/selection.mli

(limited to 'script.it/selection.mli')

diff --git a/script.it/selection.mli b/script.it/selection.mli
new file mode 100755
index 0000000..01f12dc
--- /dev/null
+++ b/script.it/selection.mli
@@ -0,0 +1,21 @@
+type t =
+  | Path of int
+  | Point of (int * Path.Point.t)
+
+(** Return the closest path from the list to a given point. 
+
+    The path is returned with all thoses informations :
+    - The point in the path 
+    - The path itself
+    - The starting point from the path
+    - The end point in the path
+
+*)
+val get_from_paths
+  : (float * float) -> Path.Fixed.t list -> float * (Gg.v2 * Path.Fixed.t * Path.Point.t * Path.Point.t) option
+
+val select_path
+  : Path.Fixed.t -> t
+
+val select_point
+  : Path.Fixed.t -> Gg.v2 -> t
-- 
cgit v1.2.3