blob: a405edc74cec068dfe2d8647e93045fb2d20e46d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
type t =
| Path of int
| Point of (int * Path.Point.t)
val threshold : float
(** 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
|
