aboutsummaryrefslogtreecommitdiff
path: root/script.it/selection.mli
diff options
context:
space:
mode:
Diffstat (limited to 'script.it/selection.mli')
-rwxr-xr-xscript.it/selection.mli21
1 files changed, 21 insertions, 0 deletions
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