diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-02-05 09:08:39 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 14:39:30 +0100 |
commit | 561d0f0155f4906d90eb7e73a3ff9cb28909126f (patch) | |
tree | 9a606c2d7832272ea33d7052512a5fa59805d582 /path/point.mli | |
parent | 86ec559f913c389e8dc055b494630f21a45e039b (diff) |
Update project structure
Diffstat (limited to 'path/point.mli')
-rwxr-xr-x | path/point.mli | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/path/point.mli b/path/point.mli deleted file mode 100755 index fe4cb45..0000000 --- a/path/point.mli +++ /dev/null @@ -1,40 +0,0 @@ -type t - -(** Return the point id. Each id is unique *) -val id - : t -> int - -val empty : t - -val (+): t -> Gg.v2 -> t - -val get_coord : t -> Gg.v2 - -val get_stamp : t -> float - -val create: angle:float -> width:float -> stamp:float -> x:float -> y:float -> t - -(** Return a copy of the point at given posistion - - This is a true copy, the id will be the same for the two points - TODO : Should this be renamed set_position ? - -*) -val copy : t -> Gg.v2 -> t - -val set_angle : t -> float -> t - -val get_angle : t -> float - -val set_width: t -> float -> t - -val get_width: t -> float - -val get_coord' - : t -> Gg.v2 - -(** [mix f point p0 p1] create a new point at the position point, with the - characteristics from p0 and p1 *) -val mix - : float -> Gg.v2 -> t -> t -> t - |