diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 14:20:54 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 14:20:54 +0100 |
commit | 21c386fee208adb7b494d2677d9f49ed49a1c1ce (patch) | |
tree | b1c77a0c1870768a4876ec58cc06962768a3fe75 /path/point.mli | |
parent | 06c39bbea3b7f8e6bfec88878ec80f9cc474184f (diff) |
Local point configuration
Diffstat (limited to 'path/point.mli')
-rwxr-xr-x | path/point.mli | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/path/point.mli b/path/point.mli index fab42d2..fe4cb45 100755 --- a/path/point.mli +++ b/path/point.mli @@ -1,5 +1,9 @@ type t +(** Return the point id. Each id is unique *) +val id + : t -> int + val empty : t val (+): t -> Gg.v2 -> t @@ -10,6 +14,12 @@ 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 @@ -27,3 +37,4 @@ val get_coord' characteristics from p0 and p1 *) val mix : float -> Gg.v2 -> t -> t -> t + |