diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-06 22:09:53 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-06 22:09:53 +0100 |
commit | a63662059215a26db627c4b76147a3c9338f5b74 (patch) | |
tree | c71b984b2327ebe743809e04b0a29aac0e15cc56 /script.it/selection.mli | |
parent | 6ae97ecca8b4f38213f0f45aa6eaef944cd6b497 (diff) |
Point suppression
Diffstat (limited to 'script.it/selection.mli')
-rwxr-xr-x | script.it/selection.mli | 21 |
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 |