diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 18:41:30 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 18:48:28 +0100 |
commit | 6e5c6bf7beadc72e64e5d929e301b473b01c9303 (patch) | |
tree | 02919ca31644a58d8b12e35c0072b38e8fab335a /path/fixed.mli | |
parent | 21c386fee208adb7b494d2677d9f49ed49a1c1ce (diff) |
Update
Diffstat (limited to 'path/fixed.mli')
-rwxr-xr-x | path/fixed.mli | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/path/fixed.mli b/path/fixed.mli index 1f12006..06b3539 100755 --- a/path/fixed.mli +++ b/path/fixed.mli @@ -32,10 +32,17 @@ module Make(Point:P) : sig val repr : t -> (module Repr.M with type t = Point.t and type repr = 's) -> 's -> 's + type approx = + { distance : float + ; closest_point : Gg.v2 + ; ratio : float + ; p0 : Point.t + ; p1 : Point.t } + (** Return the distance between a given point and the curve. May return None if the point is out of the curve *) val distance - : Gg.v2 -> t -> (Gg.v2 * float * Point.t * Point.t) option + : Gg.v2 -> t -> approx option val iter : t -> f:(Point.t -> unit) -> unit |